Skip to content

Actions: rocq-prover/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,940 workflow runs
1,940 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix changelog Nix CI for bundle rocq-master #519: Pull request #216 opened by SkySkimmer
3m 15s
3m 15s
Fix changelog Nix CI for bundle rocq-9.1 #76: Pull request #216 opened by SkySkimmer
3m 18s
3m 18s
Merge pull request #215 from miriampolzer/typo_zmod Nix CI for bundle rocq-9.1 #75: Commit 233369b pushed by proux01
22m 30s master
master
22m 30s
Merge pull request #215 from miriampolzer/typo_zmod Nix CI for bundle rocq-9.0 #523: Commit 233369b pushed by proux01
23m 11s master
master
23m 11s
Merge pull request #215 from miriampolzer/typo_zmod CI (Alpine) #230: Commit 233369b pushed by proux01
1m 42s master
master
1m 42s
Merge pull request #215 from miriampolzer/typo_zmod Nix CI for bundle rocq-master #518: Commit 233369b pushed by proux01
33m 51s master
master
33m 51s
Fix typo in Zmod Nix CI for bundle rocq-master #517: Pull request #215 opened by miriampolzer
1h 53m 59s
1h 53m 59s
Fix typo in Zmod CI (Alpine) #229: Pull request #215 opened by miriampolzer
25s miriampolzer:typo_zmod
miriampolzer:typo_zmod
25s
Fix typo in Zmod Nix CI for bundle rocq-9.0 #522: Pull request #215 opened by miriampolzer
38m 0s
38m 0s
Fix typo in Zmod Nix CI for bundle rocq-9.1 #74: Pull request #215 opened by miriampolzer
37m 35s
37m 35s
Merge pull request #213 from damiendoligez/fix-rmult-gt-reg-l Nix CI for bundle rocq-9.1 #73: Commit faceb39 pushed by proux01
54m 25s master
master
54m 25s
Merge pull request #213 from damiendoligez/fix-rmult-gt-reg-l Nix CI for bundle rocq-master #516: Commit faceb39 pushed by proux01
2h 12m 48s master
master
2h 12m 48s
Merge pull request #213 from damiendoligez/fix-rmult-gt-reg-l CI (Alpine) #228: Commit faceb39 pushed by proux01
22s master
master
22s
Merge pull request #213 from damiendoligez/fix-rmult-gt-reg-l Nix CI for bundle rocq-9.0 #521: Commit faceb39 pushed by proux01
55m 38s master
master
55m 38s
Fix statement of Rmult_gt_reg_l in RIneq.v CI (Alpine) #227: Pull request #213 synchronize by proux01
20s damiendoligez:fix-rmult-gt-reg-l
damiendoligez:fix-rmult-gt-reg-l
20s
Fix statement of Rmult_gt_reg_l in RIneq.v Nix CI for bundle rocq-master #515: Pull request #213 synchronize by proux01
25s
25s
Fix statement of Rmult_gt_reg_l in RIneq.v Nix CI for bundle rocq-9.1 #72: Pull request #213 synchronize by proux01
32s
32s
Fix statement of Rmult_gt_reg_l in RIneq.v Nix CI for bundle rocq-9.0 #520: Pull request #213 synchronize by proux01
32s
32s
Weaken assumption of Diaconescu's theorem CI (Alpine) #226: Pull request #214 synchronize by jeanas
28m 1s jeanas:diaconescu
jeanas:diaconescu
28m 1s
Weaken assumption of Diaconescu's theorem Nix CI for bundle rocq-9.1 #71: Pull request #214 synchronize by jeanas
3h 17m 53s
3h 17m 53s
Weaken assumption of Diaconescu's theorem Nix CI for bundle rocq-9.0 #519: Pull request #214 synchronize by jeanas
3h 14m 42s
3h 14m 42s
Weaken assumption of Diaconescu's theorem Nix CI for bundle rocq-master #514: Pull request #214 synchronize by jeanas
4h 39m 45s
4h 39m 45s
Weaken assumption of Diaconescu's theorem Nix CI for bundle rocq-master #513: Pull request #214 opened by jeanas
2h 36m 30s
2h 36m 30s
Weaken assumption of Diaconescu's theorem CI (Alpine) #225: Pull request #214 opened by jeanas
17s jeanas:diaconescu
jeanas:diaconescu
17s
Weaken assumption of Diaconescu's theorem Nix CI for bundle rocq-9.0 #518: Pull request #214 opened by jeanas
2h 36m 37s
2h 36m 37s