Skip to content

Actions: rocq-prover/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,011 workflow runs
2,011 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
[CI] Update Nix toolbox Nix CI for bundle rocq-9.2 #93: Pull request #261 synchronize by proux01
21m 59s proux01:ci-update
proux01:ci-update
21m 59s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.2 #92: Pull request #261 synchronize by proux01
22m 2s
22m 2s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.1 #230: Pull request #261 synchronize by proux01
22m 2s
22m 2s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.1 #229: Pull request #261 synchronize by proux01
38m 29s proux01:ci-update
proux01:ci-update
38m 29s
[CI] Update Nix toolbox CI (Alpine) #356: Pull request #261 synchronize by proux01
4m 3s proux01:ci-update
proux01:ci-update
4m 3s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #661: Pull request #261 synchronize by proux01
1h 49m 23s
1h 49m 23s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.2 #91: Pull request #261 synchronize by proux01
27m 59s
27m 59s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.1 #228: Pull request #261 synchronize by proux01
37m 53s
37m 53s
[CI] Update Nix toolbox CI (Alpine) #355: Pull request #261 opened by proux01
3m 9s proux01:ci-update
proux01:ci-update
3m 9s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.1 #227: Pull request #261 opened by proux01
6m 20s proux01:ci-update
proux01:ci-update
6m 20s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #660: Pull request #261 opened by proux01
6m 50s
6m 50s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.1 #226: Pull request #261 opened by proux01
7m 45s
7m 45s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.2 #90: Pull request #261 opened by proux01
7m 22s
7m 22s
Fix notation warnings in Hurkens CI (Alpine) #354: Pull request #260 opened by SkySkimmer
3m 2s SkySkimmer:hurkens
SkySkimmer:hurkens
3m 2s
Fix notation warnings in Hurkens Nix CI for bundle rocq-master #659: Pull request #260 opened by SkySkimmer
37s
37s
Fix notation warnings in Hurkens Nix CI for bundle rocq-9.2 #89: Pull request #260 opened by SkySkimmer
48s
48s
Fix notation warnings in Hurkens Nix CI for bundle rocq-9.1 #225: Pull request #260 opened by SkySkimmer
52s
52s
CI (Alpine) CI (Alpine) #353: Scheduled
2m 55s master
master
2m 55s
Merge pull request #258 from andres-erbsen/bits-skipn-app Nix CI for bundle rocq-master #658: Commit c63feb8 pushed by andres-erbsen
3h 32m 47s master
master
3h 32m 47s
Merge pull request #258 from andres-erbsen/bits-skipn-app Nix CI for bundle rocq-9.1 #224: Commit c63feb8 pushed by andres-erbsen
58m 2s master
master
58m 2s
Merge pull request #258 from andres-erbsen/bits-skipn-app Nix CI for bundle rocq-9.2 #88: Commit c63feb8 pushed by andres-erbsen
47m 17s master
master
47m 17s
Merge pull request #258 from andres-erbsen/bits-skipn-app CI (Alpine) #352: Commit c63feb8 pushed by andres-erbsen
2m 59s master
master
2m 59s
Merge pull request #259 from proux01/rocq21947 Nix CI for bundle rocq-master #657: Commit 1d2db65 pushed by proux01
1h 10m 1s master
master
1h 10m 1s
Merge pull request #259 from proux01/rocq21947 Nix CI for bundle rocq-9.2 #87: Commit 1d2db65 pushed by proux01
20m 18s master
master
20m 18s
Merge pull request #259 from proux01/rocq21947 CI (Alpine) #351: Commit 1d2db65 pushed by proux01
3m 32s master
master
3m 32s