Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle rocq-9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

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