Skip to content

Actions: rocq-prover/stdlib

Actions

CI (Alpine)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
alpine.yml
320 workflow runs
320 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #246 from proux01/ci-update CI (Alpine) #320: Commit a410b3f pushed by proux01
2m 54s master
master
2m 54s
[CI] Update Nix toolbox CI (Alpine) #319: Pull request #246 synchronize by proux01
2m 51s proux01:ci-update
proux01:ci-update
2m 51s
[CI] Update Nix toolbox CI (Alpine) #318: Pull request #246 synchronize by proux01
2m 55s proux01:ci-update
proux01:ci-update
2m 55s
[CI] Update Nix toolbox CI (Alpine) #317: Pull request #246 synchronize by proux01
3m 9s proux01:ci-update
proux01:ci-update
3m 9s
[CI] Update Nix toolbox CI (Alpine) #316: Pull request #246 synchronize by proux01
3m 18s proux01:ci-update
proux01:ci-update
3m 18s
[CI] Update Nix toolbox CI (Alpine) #315: Pull request #246 opened by proux01
3m 5s proux01:ci-update
proux01:ci-update
3m 5s
Merge pull request #245 from mattam82/fix-sint63-link CI (Alpine) #314: Commit dcf7714 pushed by andres-erbsen
3m 42s master
master
3m 42s
Fix Sint63 link in stdlib/index.html CI (Alpine) #313: Pull request #245 opened by mattam82
2m 59s mattam82:fix-sint63-link
mattam82:fix-sint63-link
2m 59s
CI (Alpine) CI (Alpine) #312: Scheduled
2m 57s master
master
2m 57s
Merge pull request #240 from proux01/doc-release-process CI (Alpine) #311: Commit 0989611 pushed by proux01
2m 56s master
master
2m 56s
[doc] Add documentation steps to release process CI (Alpine) #310: Pull request #240 opened by proux01
38s proux01:doc-release-process
proux01:doc-release-process
38s
Rewrite Vector using list and small inversions CI (Alpine) #309: Pull request #170 synchronize by andres-erbsen
2m 52s andres-erbsen:refactor-vector
andres-erbsen:refactor-vector
2m 52s
Wellfounded/Inclusion.v add lemma for when the inclusion is partial CI (Alpine) #308: Pull request #238 opened by SkySkimmer
3m 40s SkySkimmer:wf-partial-incl
SkySkimmer:wf-partial-incl
3m 40s
Merge pull request #237 from mattam82/rewrite-in-lets CI (Alpine) #307: Commit 3b915a2 pushed by SkySkimmer
3m 8s master
master
3m 8s
Adapt to Rocq PR # 20985 (backward compatible hint) CI (Alpine) #306: Pull request #237 opened by mattam82
2m 59s mattam82:rewrite-in-lets
mattam82:rewrite-in-lets
2m 59s
Merge pull request #236 from proux01/drop90 CI (Alpine) #305: Commit ffc92c5 pushed by proux01
2m 55s master
master
2m 55s
Drop support for Rocq 9.0 CI (Alpine) #304: Pull request #236 opened by proux01
2m 59s proux01:drop90
proux01:drop90
2m 59s
Merge pull request #235 from proux01/warning-92 CI (Alpine) #303: Commit acfcd7e pushed by proux01
3m 2s master
master
3m 2s
Handle new Rocq 9.2 warnings CI (Alpine) #302: Pull request #235 synchronize by proux01
2m 54s proux01:warning-92
proux01:warning-92
2m 54s
Handle new Rocq 9.2 warnings CI (Alpine) #301: Pull request #235 synchronize by proux01
2m 51s proux01:warning-92
proux01:warning-92
2m 51s
Handle new Rocq 9.2 warnings CI (Alpine) #300: Pull request #235 synchronize by proux01
3m 6s proux01:warning-92
proux01:warning-92
3m 6s
Handle new Rocq 9.2 warnings CI (Alpine) #299: Pull request #235 synchronize by proux01
3m 1s proux01:warning-92
proux01:warning-92
3m 1s
Handle new Rocq 9.2 warnings CI (Alpine) #298: Pull request #235 synchronize by proux01
3m 6s proux01:warning-92
proux01:warning-92
3m 6s
Handle new Rocq 9.2 warnings CI (Alpine) #297: Pull request #235 synchronize by proux01
2m 40s proux01:warning-92
proux01:warning-92
2m 40s
Handle new Rocq 9.2 warnings CI (Alpine) #296: Pull request #235 synchronize by proux01
2m 42s proux01:warning-92
proux01:warning-92
2m 42s