Skip to content

Actions: math-comp/finmap

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #140 from affeldt-aist/unstable_20250703 Docker CI #129: Commit c0cf3df pushed by proux01
July 4, 2025 05:43 6m 22s master
master
July 4, 2025 05:43 6m 22s
lemma from MathComp-Analysis' unstable.v Docker CI #128: Pull request #140 synchronize by proux01
July 4, 2025 05:34 6m 20s affeldt-aist:unstable_20250703
affeldt-aist:unstable_20250703
July 4, 2025 05:34 6m 20s
Merge pull request #142 from proux01/ci-update Docker CI #127: Commit 4febba2 pushed by proux01
July 4, 2025 05:33 6m 32s master
master
July 4, 2025 05:33 6m 32s
[CI] Update Nix toolbox Docker CI #126: Pull request #142 synchronize by proux01
July 4, 2025 05:22 6m 21s proux01:ci-update
proux01:ci-update
July 4, 2025 05:22 6m 21s
[CI] Update Nix toolbox Docker CI #125: Pull request #142 synchronize by proux01
July 4, 2025 05:08 6m 15s proux01:ci-update
proux01:ci-update
July 4, 2025 05:08 6m 15s
[CI] Update Nix toolbox Docker CI #124: Pull request #142 opened by proux01
July 3, 2025 20:27 6m 17s proux01:ci-update
proux01:ci-update
July 3, 2025 20:27 6m 17s
lemma from MathComp-Analysis' unstable.v Docker CI #123: Pull request #140 opened by affeldt-aist
July 3, 2025 09:01 8m 44s affeldt-aist:unstable_20250703
affeldt-aist:unstable_20250703
July 3, 2025 09:01 8m 44s
Merge pull request #139 from proux01/rm-redundant-notation Docker CI #122: Commit d9ffee5 pushed by proux01
June 26, 2025 15:51 19m 56s master
master
June 26, 2025 15:51 19m 56s
Lock filterf Docker CI #121: Commit b8cb5f8 pushed by proux01
June 26, 2025 14:37 18m 38s master
master
June 26, 2025 14:37 18m 38s
Merge pull request #139 from proux01/rm-redundant-notation Docker CI #120: Commit d9ffee5 pushed by proux01
June 17, 2025 13:10 6m 25s master
master
June 17, 2025 13:10 6m 25s
Remove redundant notation reservation Docker CI #119: Pull request #139 opened by proux01
June 17, 2025 12:52 5m 58s proux01:rm-redundant-notation
proux01:rm-redundant-notation
June 17, 2025 12:52 5m 58s
Merge pull request #138 from arthuraa/fmap_rect Docker CI #118: Commit 054881a pushed by CohenCyril
June 3, 2025 17:11 5m 41s master
master
June 3, 2025 17:11 5m 41s
Add induction principle for fmap. Docker CI #117: Pull request #138 opened by arthuraa
June 3, 2025 15:00 6m 14s arthuraa:fmap_rect
arthuraa:fmap_rect
June 3, 2025 15:00 6m 14s
Merge pull request #137 from arthuraa/imfset_eq_fsinjectiveP Docker CI #116: Commit b6810d5 pushed by CohenCyril
May 14, 2025 15:42 5m 20s master
master
May 14, 2025 15:42 5m 20s
Add another equivalence lemma for fsinjectiveb. Docker CI #115: Pull request #137 opened by arthuraa
May 12, 2025 23:19 6m 11s arthuraa:imfset_eq_fsinjectiveP
arthuraa:imfset_eq_fsinjectiveP
May 12, 2025 23:19 6m 11s
Merge pull request #136 from arthuraa/card_in_imfsetP Docker CI #114: Commit 120e8f9 pushed by CohenCyril
May 12, 2025 18:48 6m 16s master
master
May 12, 2025 18:48 6m 16s
Add converse of card_in_imfset. Docker CI #113: Pull request #136 opened by arthuraa
May 12, 2025 18:23 6m 22s arthuraa:card_in_imfsetP
arthuraa:card_in_imfsetP
May 12, 2025 18:23 6m 22s
Merge pull request #135 from arthuraa/finsupp_fsfun Docker CI #112: Commit 2c78d0a pushed by CohenCyril
May 12, 2025 10:33 8m 10s master
master
May 12, 2025 10:33 8m 10s
Merge pull request #134 from arthuraa/eq_in_imfset Docker CI #111: Commit 376649f pushed by CohenCyril
May 12, 2025 10:17 11m 30s master
master
May 12, 2025 10:17 11m 30s
Add lemma finsupp_fsfun. Docker CI #110: Pull request #135 opened by arthuraa
May 12, 2025 10:11 14m 3s arthuraa:finsupp_fsfun
arthuraa:finsupp_fsfun
May 12, 2025 10:11 14m 3s
Add stronger extensionality lemma for imfset. Docker CI #109: Pull request #134 opened by arthuraa
May 12, 2025 09:54 9m 44s arthuraa:eq_in_imfset
arthuraa:eq_in_imfset
May 12, 2025 09:54 9m 44s
Merge pull request #133 from arthuraa/gen-fsfun_injective_inP Docker CI #108: Commit f76b75a pushed by CohenCyril
May 12, 2025 08:28 5m 32s master
master
May 12, 2025 08:28 5m 32s
Generalize fsfun_injective_inP to arbitrary functions. Docker CI #107: Pull request #133 opened by arthuraa
May 12, 2025 07:55 5m 38s arthuraa:gen-fsfun_injective_inP
arthuraa:gen-fsfun_injective_inP
May 12, 2025 07:55 5m 38s
Merge pull request #131 from arthuraa/fset1U_rect Docker CI #106: Commit 56c1ab6 pushed by CohenCyril
May 12, 2025 05:28 5m 28s master
master
May 12, 2025 05:28 5m 28s
Merge pull request #132 from arthuraa/fintype-instances Docker CI #105: Commit 8a5d4b8 pushed by CohenCyril
May 12, 2025 05:28 5m 42s master
master
May 12, 2025 05:28 5m 42s