Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle rocq-9.1

Actions

Loading...
Loading

Show workflow options

Create status badge

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