Skip to content

Actions: math-comp/hierarchy-builder

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
703 workflow runs
703 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
Interactive mode to complete instances in tactics mode docker CI #1587: Pull request #595 synchronize by cecilemarcon
8m 14s cecilemarcon:interactive-mode
cecilemarcon:interactive-mode
8m 14s
Interactive mode to complete instances in tactics mode Nix CI for bundle rocq-9.0 #66: Pull request #595 synchronize by cecilemarcon
2m 32s
2m 32s
Interactive mode to complete instances in tactics mode Nix CI for bundle rocq-master #64: Pull request #595 synchronize by cecilemarcon
1m 29s
1m 29s
Interactive mode to complete instances in tactics mode Nix CI for bundle rocq-9.1 #66: Pull request #595 synchronize by cecilemarcon
2m 44s
2m 44s
Interactive mode to complete instances in tactics mode Nix CI for bundle rocq-9.2 #48: Pull request #595 synchronize by cecilemarcon
2m 36s
2m 36s
Merge pull request #599 from proux01/cleanup Nix CI for bundle rocq-9.2 #47: Commit 3d40146 pushed by proux01
26m 36s master
master
26m 36s
Merge pull request #599 from proux01/cleanup Nix CI for bundle rocq-master #63: Commit 3d40146 pushed by proux01
9m 55s master
master
9m 55s
Merge pull request #599 from proux01/cleanup docker CI #1586: Commit 3d40146 pushed by proux01
8m 8s master
master
8m 8s
Merge pull request #599 from proux01/cleanup Nix CI for bundle rocq-9.0 #65: Commit 3d40146 pushed by proux01
8m 57s master
master
8m 57s
Merge pull request #599 from proux01/cleanup Nix CI for bundle rocq-9.1 #65: Commit 3d40146 pushed by proux01
8m 27s master
master
8m 27s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-9.0 #64: Pull request #599 synchronize by proux01
1h 22m 22s proux01:cleanup
proux01:cleanup
1h 22m 22s
Cleanup now that we require Rocq >= 9.0 docker CI #1585: Pull request #599 synchronize by proux01
7m 58s proux01:cleanup
proux01:cleanup
7m 58s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-master #62: Pull request #599 synchronize by proux01
1h 10m 7s proux01:cleanup
proux01:cleanup
1h 10m 7s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-9.1 #64: Pull request #599 synchronize by proux01
1h 13m 25s proux01:cleanup
proux01:cleanup
1h 13m 25s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-9.2 #46: Pull request #599 synchronize by proux01
1h 14m 59s proux01:cleanup
proux01:cleanup
1h 14m 59s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-master #61: Pull request #599 synchronize by proux01
1h 11m 33s
1h 11m 33s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-9.2 #45: Pull request #599 synchronize by proux01
51m 15s
51m 15s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-9.1 #63: Pull request #599 synchronize by proux01
1h 12m 7s
1h 12m 7s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-9.0 #63: Pull request #599 synchronize by proux01
1h 15m 32s
1h 15m 32s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-9.2 #44: Pull request #599 synchronize by proux01
1h 0m 17s proux01:cleanup
proux01:cleanup
1h 0m 17s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-master #60: Pull request #599 synchronize by proux01
1h 11m 52s proux01:cleanup
proux01:cleanup
1h 11m 52s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-9.1 #62: Pull request #599 synchronize by proux01
53m 3s proux01:cleanup
proux01:cleanup
53m 3s
Cleanup now that we require Rocq >= 9.0 docker CI #1584: Pull request #599 synchronize by proux01
8m 30s proux01:cleanup
proux01:cleanup
8m 30s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-9.0 #62: Pull request #599 synchronize by proux01
55m 57s proux01:cleanup
proux01:cleanup
55m 57s
Cleanup now that we require Rocq >= 9.0 Nix CI for bundle rocq-master #59: Pull request #599 synchronize by proux01
1h 1m 10s
1h 1m 10s