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
31 workflow runs
31 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-9.0 #31: Pull request #587 synchronize by t6s
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
refactoring and correction in examples/cat.v
Nix CI for bundle rocq-9.0 #29: Pull request #587 synchronize by t6s
6m 17s
Adjust logo width in README
Nix CI for bundle rocq-9.0 #28: Commit eae067c pushed by gares
55m 40s master
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
logo by Reynald Affeldt
Nix CI for bundle rocq-9.0 #26: Pull request #591 synchronize by gares
2h 16m 17s
logo by Reynald Affeldt
Nix CI for bundle rocq-9.0 #25: Pull request #591 opened by gares
1h 57m 39s
Port to Elpi 3.7
Nix CI for bundle rocq-9.0 #24: Pull request #590 opened by gares
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
refactoring and correction in examples/cat.v
Nix CI for bundle rocq-9.0 #21: Pull request #587 opened by t6s
8m 0s
Add deep-renaming elpi library
Nix CI for bundle rocq-9.0 #20: Pull request #586 opened by VojtechStep
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
[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
[CI] Add Rocq 9.2
Nix CI for bundle rocq-9.0 #17: Pull request #582 opened by proux01
1h 14m 17s
Remove broken code
Nix CI for bundle rocq-9.0 #16: Pull request #580 synchronize by CohenCyril
1h 11m 56s
Remove broken code
Nix CI for bundle rocq-9.0 #15: Pull request #580 opened by CohenCyril
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
Update installation instructions for HB
Nix CI for bundle rocq-9.0 #13: Pull request #578 synchronize by CohenCyril
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
[feat] support for multiple subjects
Nix CI for bundle rocq-9.0 #11: Pull request #535 synchronize by CohenCyril
6m 22s
[feat] support for multiple subjects
Nix CI for bundle rocq-9.0 #10: Pull request #535 synchronize by gares
5m 41s
[feat] support for multiple subjects
Nix CI for bundle rocq-9.0 #9: Pull request #535 synchronize by CohenCyril
6m 43s
[feat] support for multiple subjects
Nix CI for bundle rocq-9.0 #8: Pull request #535 synchronize by CalosciMatteo
6m 8s
[feat] support for multiple subjects
Nix CI for bundle rocq-9.0 #7: Pull request #535 synchronize by CohenCyril
6m 13s