Skip to content

Actions: rocq-community/coq-nix-toolbox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,404 workflow runs
4,404 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Elpi 3.4.5 (#429) Nix CI for bundle 9.0 #573: Commit 01dec2f pushed by vbgl
22m 50s master
master
22m 50s
Elpi 3.4.5 (#429) Nix CI for bundle rocq-9.2 #41: Commit 01dec2f pushed by vbgl
2m 46s master
master
2m 46s
Elpi 3.4.5 (#429) Nix CI for bundle 8.20 #947: Commit 01dec2f pushed by vbgl
15m 46s master
master
15m 46s
Elpi 3.4.5 (#429) Nix CI for bundle rocq-9.0 #449: Commit 01dec2f pushed by vbgl
10m 30s master
master
10m 30s
Elpi 3.4.5 (#429) Nix CI for bundle 9.1 #309: Commit 01dec2f pushed by vbgl
23m 27s master
master
23m 27s
Elpi 3.4.5 (#429) Nix CI for bundle rocq-master #421: Commit 01dec2f pushed by vbgl
51s master
master
51s
Elpi 3.4.5 (#429) Nix CI for bundle master #1529: Commit 01dec2f pushed by vbgl
3m 3s master
master
3m 3s
Elpi 3.4.5 (#429) Nix CI for bundle rocq-9.1 #241: Commit 01dec2f pushed by vbgl
10m 45s master
master
10m 45s
Elpi 3.4.5 (#429) Nix CI for bundle 9.2 #44: Commit 01dec2f pushed by vbgl
5m 39s master
master
5m 39s
Elpi 3.4.5 Nix CI for bundle 9.1 #308: Pull request #429 synchronize by vbgl
35m 29s vbgl:elpi-345
vbgl:elpi-345
35m 29s
Elpi 3.4.5 Nix CI for bundle 9.0 #572: Pull request #429 synchronize by vbgl
37m 8s vbgl:elpi-345
vbgl:elpi-345
37m 8s
Elpi 3.4.5 Nix CI for bundle rocq-9.0 #448: Pull request #429 synchronize by vbgl
11m 56s
11m 56s
Elpi 3.4.5 Nix CI for bundle 9.0 #571: Pull request #429 synchronize by vbgl
35m 44s
35m 44s
Elpi 3.4.5 Nix CI for bundle 9.1 #307: Pull request #429 synchronize by vbgl
44m 0s
44m 0s
Elpi 3.4.5 Nix CI for bundle master #1528: Pull request #429 synchronize by vbgl
3m 8s
3m 8s
Elpi 3.4.5 Nix CI for bundle 8.20 #946: Pull request #429 synchronize by vbgl
31m 32s
31m 32s
Elpi 3.4.5 Nix CI for bundle rocq-9.1 #240: Pull request #429 synchronize by vbgl
12m 31s
12m 31s
Elpi 3.4.5 Nix CI for bundle 9.2 #43: Pull request #429 synchronize by vbgl
7m 10s
7m 10s
Elpi 3.4.5 Nix CI for bundle rocq-master #420: Pull request #429 synchronize by vbgl
1m 8s
1m 8s
Elpi 3.4.5 Nix CI for bundle rocq-9.2 #40: Pull request #429 synchronize by vbgl
3m 1s
3m 1s
TypedExtraction 0.2.0 Nix CI for bundle 9.0 #570: Commit 4fa927a pushed by vbgl
18m 11s master
master
18m 11s
TypedExtraction 0.2.0 Nix CI for bundle rocq-9.0 #447: Commit 4fa927a pushed by vbgl
10m 54s master
master
10m 54s
TypedExtraction 0.2.0 Nix CI for bundle rocq-master #419: Commit 4fa927a pushed by vbgl
51s master
master
51s
TypedExtraction 0.2.0 Nix CI for bundle 8.20 #945: Commit 4fa927a pushed by vbgl
29m 14s master
master
29m 14s
TypedExtraction 0.2.0 Nix CI for bundle master #1527: Commit 4fa927a pushed by vbgl
3m 14s master
master
3m 14s