Skip to content

Actions: math-comp/hierarchy-builder

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,016 workflow runs
1,016 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
logo by Reynald Affeldt docker CI #1553: Pull request #591 opened by gares
7m 56s logo
logo
7m 56s
logo by Reynald Affeldt Nix CI for bundle rocq-master #24: Pull request #591 opened by gares
2h 24m 54s
2h 24m 54s
logo by Reynald Affeldt Nix CI for bundle rocq-9.0 #25: Pull request #591 opened by gares
1h 57m 39s
1h 57m 39s
logo by Reynald Affeldt Nix CI for bundle rocq-9.2 #8: Pull request #591 opened by gares
2h 24m 39s
2h 24m 39s
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 docker CI #1552: Pull request #590 opened by gares
7m 4s hierarchy-builder.elpi-3.7
hierarchy-builder.elpi-3.7
7m 4s
Port to Elpi 3.7 Nix CI for bundle rocq-9.2 #7: Pull request #590 opened by gares
4m 12s
4m 12s
Port to Elpi 3.7 Nix CI for bundle rocq-master #23: Pull request #590 opened by gares
9m 17s
9m 17s
Port to Elpi 3.7 Nix CI for bundle rocq-9.0 #24: Pull request #590 opened by gares
5m 47s
5m 47s
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
Merge pull request #588 from proux01/rocq21851 Nix CI for bundle rocq-9.2 #6: Commit 07826dc pushed by proux01
56m 0s master
master
56m 0s
Merge pull request #588 from proux01/rocq21851 docker CI #1551: Commit 07826dc pushed by proux01
8m 12s master
master
8m 12s
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
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 docker CI #1550: Pull request #588 opened by proux01
23s proux01:rocq21851
proux01:rocq21851
23s
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
Adapt to https://github.com/rocq-prover/rocq/pull/21851 Nix CI for bundle rocq-9.2 #5: Pull request #588 opened by proux01
21s
21s
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
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-master #20: Pull request #587 opened by t6s
47m 59s
47m 59s
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
refactoring and correction in examples/cat.v docker CI #1549: Pull request #587 opened by t6s
7m 34s t6s:cat20260401
t6s:cat20260401
7m 34s
refactoring and correction in examples/cat.v Nix CI for bundle rocq-9.2 #4: Pull request #587 opened by t6s
1h 5m 8s
1h 5m 8s
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