Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle rocq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-master.yml
30 workflow runs
30 workflow runs

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
refactoring and correction in examples/cat.v Nix CI for bundle rocq-master #30: Pull request #587 synchronize by t6s
2h 25m 47s
2h 25m 47s
refactoring and correction in examples/cat.v Nix CI for bundle rocq-master #29: Pull request #587 synchronize by t6s
1h 14m 44s
1h 14m 44s
refactoring and correction in examples/cat.v Nix CI for bundle rocq-master #28: Pull request #587 synchronize by t6s
1h 14m 49s
1h 14m 49s
Adjust logo width in README Nix CI for bundle rocq-master #27: Commit eae067c pushed by gares
1h 9m 32s master
master
1h 9m 32s
Merge pull request #591 from math-comp/logo Nix CI for bundle rocq-master #26: Commit dc5a667 pushed by gares
2h 50m 14s master
master
2h 50m 14s
logo by Reynald Affeldt Nix CI for bundle rocq-master #25: Pull request #591 synchronize by gares
2h 47m 8s
2h 47m 8s
logo by Reynald Affeldt Nix CI for bundle rocq-master #24: Pull request #591 opened by gares
2h 24m 54s
2h 24m 54s
Port to Elpi 3.7 Nix CI for bundle rocq-master #23: Pull request #590 opened by gares
9m 17s
9m 17s
Merge pull request #588 from proux01/rocq21851 Nix CI for bundle rocq-master #22: Commit 07826dc pushed by proux01
56m 44s master
master
56m 44s
Adapt to https://github.com/rocq-prover/rocq/pull/21851 Nix CI for bundle rocq-master #21: Pull request #588 opened by proux01
18s
18s
refactoring and correction in examples/cat.v Nix CI for bundle rocq-master #20: Pull request #587 opened by t6s
47m 59s
47m 59s
Add deep-renaming elpi library Nix CI for bundle rocq-master #19: Pull request #586 opened by VojtechStep
1h 8m 34s
1h 8m 34s
Merge pull request #582 from proux01/ci-rocq92 Nix CI for bundle rocq-master #18: Commit e4e487d pushed by proux01
57m 30s master
master
57m 30s
[CI] Add Rocq 9.2 Nix CI for bundle rocq-master #17: Pull request #582 opened by proux01
1h 25m 38s
1h 25m 38s
Remove broken code Nix CI for bundle rocq-master #16: Pull request #580 synchronize by CohenCyril
1h 0m 54s
1h 0m 54s
Remove broken code Nix CI for bundle rocq-master #15: Pull request #580 opened by CohenCyril
1h 38m 19s
1h 38m 19s
Update installation instructions for HB (#578) Nix CI for bundle rocq-master #14: Commit ccbeb28 pushed by CohenCyril
1h 41m 1s master
master
1h 41m 1s
Update installation instructions for HB Nix CI for bundle rocq-master #13: Pull request #578 synchronize by CohenCyril
1h 42m 39s
1h 42m 39s
Update installation instructions for HB Nix CI for bundle rocq-master #12: Pull request #578 opened by CohenCyril
1h 24m 37s
1h 24m 37s
[feat] support for multiple subjects Nix CI for bundle rocq-master #11: Pull request #535 synchronize by CohenCyril
4m 52s
4m 52s
[feat] support for multiple subjects Nix CI for bundle rocq-master #10: Pull request #535 synchronize by gares
4m 1s
4m 1s
[feat] support for multiple subjects Nix CI for bundle rocq-master #9: Pull request #535 synchronize by CohenCyril
5m 9s
5m 9s
[feat] support for multiple subjects Nix CI for bundle rocq-master #8: Pull request #535 synchronize by CalosciMatteo
4m 21s
4m 21s
[feat] support for multiple subjects Nix CI for bundle rocq-master #7: Pull request #535 synchronize by CohenCyril
9m 45s
9m 45s
Merge pull request #576 from proux01/rocq21611 Nix CI for bundle rocq-master #6: Commit 2506a86 pushed by proux01
1h 2m 36s master
master
1h 2m 36s