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
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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