Skip to content

Actions: math-comp/finmap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
469 workflow runs
469 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Lock filterf Nix CI for bundle master #74: Commit b8cb5f8 pushed by proux01
9m 44s master
master
9m 44s
Lock filterf Nix CI for bundle 8.20 #55: Commit b8cb5f8 pushed by proux01
5m 59s master
master
5m 59s
Lock filterf Nix CI for bundle 9.0 #45: Commit b8cb5f8 pushed by proux01
7m 35s master
master
7m 35s
Merge pull request #139 from proux01/rm-redundant-notation Nix CI for bundle 9.0 #44: Commit d9ffee5 pushed by proux01
2m 21s master
master
2m 21s
Merge pull request #139 from proux01/rm-redundant-notation Docker CI #120: Commit d9ffee5 pushed by proux01
6m 25s master
master
6m 25s
Merge pull request #139 from proux01/rm-redundant-notation Nix CI for bundle 8.20 #54: Commit d9ffee5 pushed by proux01
2m 25s master
master
2m 25s
Merge pull request #139 from proux01/rm-redundant-notation Nix CI for bundle master #73: Commit d9ffee5 pushed by proux01
3m 36s master
master
3m 36s
Remove redundant notation reservation Docker CI #119: Pull request #139 opened by proux01
5m 58s proux01:rm-redundant-notation
proux01:rm-redundant-notation
5m 58s
Remove redundant notation reservation Nix CI for bundle 9.0 #43: Pull request #139 opened by proux01
5m 58s
5m 58s
Remove redundant notation reservation Nix CI for bundle 8.20 #53: Pull request #139 opened by proux01
5m 7s
5m 7s
Remove redundant notation reservation Nix CI for bundle master #72: Pull request #139 opened by proux01
8m 8s
8m 8s
Merge pull request #138 from arthuraa/fmap_rect Docker CI #118: Commit 054881a pushed by CohenCyril
5m 41s master
master
5m 41s
Merge pull request #138 from arthuraa/fmap_rect Nix CI for bundle 9.0 #42: Commit 054881a pushed by CohenCyril
2m 24s master
master
2m 24s
Merge pull request #138 from arthuraa/fmap_rect Nix CI for bundle master #71: Commit 054881a pushed by CohenCyril
8m 7s master
master
8m 7s
Merge pull request #138 from arthuraa/fmap_rect Nix CI for bundle 8.20 #52: Commit 054881a pushed by CohenCyril
3m 46s master
master
3m 46s
Add induction principle for fmap. Docker CI #117: Pull request #138 opened by arthuraa
6m 14s arthuraa:fmap_rect
arthuraa:fmap_rect
6m 14s
Add induction principle for fmap. Nix CI for bundle 8.20 #51: Pull request #138 opened by arthuraa
5m 8s
5m 8s
Add induction principle for fmap. Nix CI for bundle 9.0 #41: Pull request #138 opened by arthuraa
5m 13s
5m 13s
Add induction principle for fmap. Nix CI for bundle master #70: Pull request #138 opened by arthuraa
8m 5s
8m 5s
Merge pull request #137 from arthuraa/imfset_eq_fsinjectiveP Nix CI for bundle 8.20 #50: Commit b6810d5 pushed by CohenCyril
2m 12s master
master
2m 12s
Merge pull request #137 from arthuraa/imfset_eq_fsinjectiveP Nix CI for bundle master #69: Commit b6810d5 pushed by CohenCyril
7m 36s master
master
7m 36s
Merge pull request #137 from arthuraa/imfset_eq_fsinjectiveP Docker CI #116: Commit b6810d5 pushed by CohenCyril
5m 20s master
master
5m 20s
Merge pull request #137 from arthuraa/imfset_eq_fsinjectiveP Nix CI for bundle 9.0 #40: Commit b6810d5 pushed by CohenCyril
2m 24s master
master
2m 24s
Add another equivalence lemma for fsinjectiveb. Docker CI #115: Pull request #137 opened by arthuraa
6m 11s arthuraa:imfset_eq_fsinjectiveP
arthuraa:imfset_eq_fsinjectiveP
6m 11s
Add another equivalence lemma for fsinjectiveb. Nix CI for bundle master #68: Pull request #137 opened by arthuraa
3m 41s
3m 41s
ProTip! You can narrow down the results and go further in time using created:<2025-05-12 or the other filters available.