Skip to content

Actions: hivert/fpseries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
Finished the harmonisation fps / tfps Nix CI for bundle rocq-9.1-mcmaster #18: Commit 20daf78 pushed by hivert
11m 32s master
master
11m 32s
Finished the harmonisation fps / tfps Nix CI for bundle rocq-9.1-mc2.5.0 #25: Commit 20daf78 pushed by hivert
4m 49s master
master
4m 49s
Finished the harmonisation fps / tfps Nix CI for bundle rocq-9.0-mc2.5.0 #25: Commit 20daf78 pushed by hivert
4m 55s master
master
4m 55s
- nat_unit is now a definition Nix CI for bundle rocq-9.1-mc2.5.0 #24: Commit daaac89 pushed by hivert
4m 29s master
master
4m 29s
- nat_unit is now a definition Nix CI for bundle rocq-9.0-mc2.5.0 #24: Commit daaac89 pushed by hivert
5m 11s master
master
5m 11s
- nat_unit is now a definition Nix CI for bundle rocq-9.1-mcmaster #17: Commit daaac89 pushed by hivert
13m 26s master
master
13m 26s
Removed big_mknat from auxresults (redudant with MC one) Nix CI for bundle rocq-9.0-mc2.5.0 #23: Commit cf2b528 pushed by hivert
4m 34s master
master
4m 34s
Removed big_mknat from auxresults (redudant with MC one) Nix CI for bundle rocq-9.1-mcmaster #16: Commit cf2b528 pushed by hivert
12m 20s master
master
12m 20s
Removed big_mknat from auxresults (redudant with MC one) Nix CI for bundle rocq-9.1-mc2.5.0 #23: Commit cf2b528 pushed by hivert
4m 51s master
master
4m 51s
New lemmas exp_sum and log_prod Nix CI for bundle rocq-9.1-mc2.5.0 #22: Commit 7a18d4d pushed by hivert
14m 42s master
master
14m 42s
New lemmas exp_sum and log_prod Nix CI for bundle rocq-9.1-mcmaster #15: Commit 7a18d4d pushed by hivert
22m 37s master
master
22m 37s
New lemmas exp_sum and log_prod Nix CI for bundle rocq-9.0-mc2.5.0 #22: Commit 7a18d4d pushed by hivert
14m 54s master
master
14m 54s
Lemma log_prod Nix CI for bundle rocq-9.0-mc2.5.0 #21: Commit ad8fdb0 pushed by hivert
4m 44s master
master
4m 44s
Lemma log_prod Nix CI for bundle rocq-9.1-mcmaster #14: Commit ad8fdb0 pushed by hivert
11m 52s master
master
11m 52s
Lemma log_prod Nix CI for bundle rocq-9.1-mc2.5.0 #21: Commit ad8fdb0 pushed by hivert
4m 53s master
master
4m 53s
Added link to talk in README Nix CI for bundle rocq-9.1-mcmaster #13: Commit 34fac1f pushed by hivert
12m 54s master
master
12m 54s
Added link to talk in README Nix CI for bundle rocq-9.0-mc2.5.0 #20: Commit 34fac1f pushed by hivert
4m 48s master
master
4m 48s
Added link to talk in README Nix CI for bundle rocq-9.1-mc2.5.0 #20: Commit 34fac1f pushed by hivert
4m 54s master
master
4m 54s
Autogenerated Makefile is not commited anymore Nix CI for bundle rocq-9.1-mc2.5.0 #19: Commit 5568e2f pushed by hivert
4m 39s master
master
4m 39s
Autogenerated Makefile is not commited anymore Nix CI for bundle rocq-9.1-mcmaster #12: Commit 5568e2f pushed by hivert
12m 29s master
master
12m 29s
Autogenerated Makefile is not commited anymore Nix CI for bundle rocq-9.0-mc2.5.0 #19: Commit 5568e2f pushed by hivert
4m 34s master
master
4m 34s
Fixed Argument scope delimiter in fps Nix CI for bundle rocq-9.0-mc2.5.0 #18: Commit e8491d0 pushed by hivert
4m 41s master
master
4m 41s
Fixed Argument scope delimiter in fps Nix CI for bundle rocq-9.1-mc2.5.0 #18: Commit e8491d0 pushed by hivert
4m 40s master
master
4m 40s
Fixed Argument scope delimiter in fps Nix CI for bundle rocq-9.1-mcmaster #11: Commit e8491d0 pushed by hivert
12m 15s master
master
12m 15s
Fixed Argument scope delimiter Nix CI for bundle rocq-9.1-mcmaster #10: Commit edf1030 pushed by hivert
12m 52s master
master
12m 52s