Skip to content

Actions: rocq-prover/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,113 workflow runs
2,113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI (Alpine) CI (Alpine) #312: Scheduled
2m 57s master
master
2m 57s
Merge pull request #240 from proux01/doc-release-process Nix CI for bundle rocq-master #604: Commit 0989611 pushed by proux01
1h 53m 41s master
master
1h 53m 41s
Merge pull request #240 from proux01/doc-release-process CI (Alpine) #311: Commit 0989611 pushed by proux01
2m 56s master
master
2m 56s
Merge pull request #240 from proux01/doc-release-process Nix CI for bundle rocq-9.1 #169: Commit 0989611 pushed by proux01
1h 9m 20s master
master
1h 9m 20s
Merge pull request #240 from proux01/doc-release-process Nix CI for bundle rocq-9.2 #35: Commit 0989611 pushed by proux01
1h 21m 24s master
master
1h 21m 24s
[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
[doc] Add documentation steps to release process Nix CI for bundle rocq-master #603: Pull request #240 opened by proux01
33s
33s
[doc] Add documentation steps to release process Nix CI for bundle rocq-9.2 #34: Pull request #240 opened by proux01
42s
42s
[doc] Add documentation steps to release process Nix CI for bundle rocq-9.1 #168: Pull request #240 opened by proux01
47s
47s
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
Rewrite Vector using list and small inversions Nix CI for bundle rocq-9.1 #167: Pull request #170 synchronize by andres-erbsen
1h 9m 32s
1h 9m 32s
Rewrite Vector using list and small inversions Nix CI for bundle rocq-master #602: Pull request #170 synchronize by andres-erbsen
1h 25m 58s
1h 25m 58s
Rewrite Vector using list and small inversions Nix CI for bundle rocq-9.2 #33: Pull request #170 synchronize by andres-erbsen
1h 30m 28s
1h 30m 28s
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
Wellfounded/Inclusion.v add lemma for when the inclusion is partial Nix CI for bundle rocq-9.1 #166: Pull request #238 opened by SkySkimmer
1h 23m 22s
1h 23m 22s
Wellfounded/Inclusion.v add lemma for when the inclusion is partial Nix CI for bundle rocq-master #601: Pull request #238 opened by SkySkimmer
16m 6s
16m 6s
Wellfounded/Inclusion.v add lemma for when the inclusion is partial Nix CI for bundle rocq-9.2 #32: Pull request #238 opened by SkySkimmer
1h 23m 36s
1h 23m 36s
Merge pull request #237 from mattam82/rewrite-in-lets Nix CI for bundle rocq-master #600: Commit 3b915a2 pushed by SkySkimmer
5h 25m 47s master
master
5h 25m 47s
Merge pull request #237 from mattam82/rewrite-in-lets Nix CI for bundle rocq-9.1 #165: Commit 3b915a2 pushed by SkySkimmer
1h 4m 29s master
master
1h 4m 29s
Merge pull request #237 from mattam82/rewrite-in-lets Nix CI for bundle rocq-9.2 #31: Commit 3b915a2 pushed by SkySkimmer
26m 4s master
master
26m 4s
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
Adapt to Rocq PR # 20985 (backward compatible hint) Nix CI for bundle rocq-master #599: Pull request #237 opened by mattam82
1h 57m 11s
1h 57m 11s
Adapt to Rocq PR # 20985 (backward compatible hint) Nix CI for bundle rocq-9.1 #164: Pull request #237 opened by mattam82
1h 8m 39s
1h 8m 39s
Adapt to Rocq PR # 20985 (backward compatible hint) Nix CI for bundle rocq-9.2 #30: Pull request #237 opened by mattam82
1h 6m 27s
1h 6m 27s