Skip to content

Actions: rocq-prover/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,678 workflow runs
1,678 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
Merge pull request #304 from proux01/rm-rocq-wrap Nix CI for bundle rocq-9.3 #40: Commit 3e8123c pushed by proux01
29m 52s master
master
29m 52s
Merge pull request #304 from proux01/rm-rocq-wrap CI (Alpine) #490: Commit 3e8123c pushed by proux01
21s master
master
21s
Merge pull request #304 from proux01/rm-rocq-wrap Nix CI for bundle rocq-master #841: Commit 3e8123c pushed by proux01
1h 14m 5s master
master
1h 14m 5s
Merge pull request #304 from proux01/rm-rocq-wrap Nix CI for bundle rocq-9.2 #268: Commit 3e8123c pushed by proux01
9m 15s master
master
9m 15s
Cleanup no longer needed rocq-wrap.sh Nix CI for bundle rocq-master #840: Pull request #304 opened by proux01
5m 38s
5m 38s
Cleanup no longer needed rocq-wrap.sh Nix CI for bundle rocq-9.3 #39: Pull request #304 opened by proux01
45m 44s
45m 44s
Cleanup no longer needed rocq-wrap.sh CI (Alpine) #489: Pull request #304 opened by proux01
18s proux01:rm-rocq-wrap
proux01:rm-rocq-wrap
18s
Cleanup no longer needed rocq-wrap.sh Nix CI for bundle rocq-9.2 #267: Pull request #304 opened by proux01
32m 6s
32m 6s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) CI (Alpine) #488: Pull request #251 synchronize by proux01
22s fajb:tify
fajb:tify
22s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-master #839: Pull request #251 synchronize by proux01
21m 53s fajb:tify
fajb:tify
21m 53s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.3 #38: Pull request #251 synchronize by proux01
13m 23s fajb:tify
fajb:tify
13m 23s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.2 #266: Pull request #251 synchronize by proux01
15m 36s fajb:tify
fajb:tify
15m 36s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.3 #37: Pull request #251 synchronize by proux01
13m 23s
13m 23s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.2 #265: Pull request #251 synchronize by proux01
12m 25s
12m 25s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-master #838: Pull request #251 synchronize by proux01
22m 20s
22m 20s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-master #837: Pull request #251 synchronize by proux01
1h 15m 24s fajb:tify
fajb:tify
1h 15m 24s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.3 #36: Pull request #251 synchronize by proux01
50m 37s fajb:tify
fajb:tify
50m 37s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.2 #264: Pull request #251 synchronize by proux01
29m 56s fajb:tify
fajb:tify
29m 56s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) CI (Alpine) #487: Pull request #251 synchronize by proux01
18s fajb:tify
fajb:tify
18s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-master #836: Pull request #251 synchronize by proux01
1h 7m 14s
1h 7m 14s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.3 #35: Pull request #251 synchronize by proux01
49m 40s
49m 40s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.2 #263: Pull request #251 synchronize by proux01
28m 51s
28m 51s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-master #835: Pull request #251 synchronize by proux01
6m 17s fajb:tify
fajb:tify
6m 17s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.3 #34: Pull request #251 synchronize by proux01
7m 23s fajb:tify
fajb:tify
7m 23s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.2 #262: Pull request #251 synchronize by proux01
7m 9s fajb:tify
fajb:tify
7m 9s