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
Add deep-renaming elpi library docker CI #1548: Pull request #586 opened by VojtechStep
7m 51s VojtechStep:deep-renaming
VojtechStep:deep-renaming
7m 51s
Add deep-renaming elpi library Nix CI for bundle rocq-9.0 #20: Pull request #586 opened by VojtechStep
56m 22s
56m 22s
Add deep-renaming elpi library Nix CI for bundle rocq-master #19: Pull request #586 opened by VojtechStep
1h 8m 34s
1h 8m 34s
Add deep-renaming elpi library Nix CI for bundle rocq-9.1 #20: Pull request #586 opened by VojtechStep
50m 47s
50m 47s
Add deep-renaming elpi library Nix CI for bundle rocq-9.2 #3: Pull request #586 opened by VojtechStep
1h 12m 34s
1h 12m 34s
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
Merge pull request #582 from proux01/ci-rocq92 Nix CI for bundle rocq-master #18: Commit e4e487d pushed by proux01
57m 30s master
master
57m 30s
Merge pull request #582 from proux01/ci-rocq92 Nix CI for bundle rocq-9.2 #2: Commit e4e487d pushed by proux01
47m 34s master
master
47m 34s
Merge pull request #582 from proux01/ci-rocq92 docker CI #1547: Commit e4e487d pushed by proux01
8m 22s master
master
8m 22s
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.2 #1: Pull request #582 opened by proux01
2h 20m 35s proux01:ci-rocq92
proux01:ci-rocq92
2h 20m 35s
[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.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 docker CI #1546: Pull request #582 opened by proux01
8m 16s proux01:ci-rocq92
proux01:ci-rocq92
8m 16s
[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
[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
[CI] Add Rocq 9.2 Nix CI for bundle rocq-master #17: Pull request #582 opened by proux01
1h 25m 38s
1h 25m 38s
Remove broken code docker CI #1545: Pull request #580 synchronize by CohenCyril
14m 16s CohenCyril:remove_wrong_cat
CohenCyril:remove_wrong_cat
14m 16s
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-master #16: Pull request #580 synchronize by CohenCyril
1h 0m 54s
1h 0m 54s
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 docker CI #1544: Pull request #580 opened by CohenCyril
11m 9s CohenCyril:remove_wrong_cat
CohenCyril:remove_wrong_cat
11m 9s
Remove broken code Nix CI for bundle rocq-master #15: Pull request #580 opened by CohenCyril
1h 38m 19s
1h 38m 19s
Remove broken code Nix CI for bundle rocq-9.0 #15: Pull request #580 opened by CohenCyril
1h 4m 49s
1h 4m 49s
Remove broken code Nix CI for bundle rocq-9.1 #15: Pull request #580 opened by CohenCyril
1h 29m 11s
1h 29m 11s