Skip to content

Actions: rocq-prover/stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #236 from proux01/drop90 Nix CI for bundle rocq-9.2 #29: Commit ffc92c5 pushed by proux01
35m 52s master
master
35m 52s
Merge pull request #236 from proux01/drop90 Nix CI for bundle rocq-master #598: Commit ffc92c5 pushed by proux01
40m 3s master
master
40m 3s
Merge pull request #236 from proux01/drop90 CI (Alpine) #305: Commit ffc92c5 pushed by proux01
2m 55s master
master
2m 55s
Merge pull request #236 from proux01/drop90 Nix CI for bundle rocq-9.1 #163: Commit ffc92c5 pushed by proux01
34m 46s master
master
34m 46s
Drop support for Rocq 9.0 CI (Alpine) #304: Pull request #236 opened by proux01
2m 59s proux01:drop90
proux01:drop90
2m 59s
Drop support for Rocq 9.0 Nix CI for bundle rocq-master #597: Pull request #236 opened by proux01
1h 51m 33s
1h 51m 33s
Drop support for Rocq 9.0 Nix CI for bundle rocq-9.0 #601: Pull request #236 opened by proux01
1m 4s
1m 4s
Drop support for Rocq 9.0 Nix CI for bundle rocq-9.2 #28: Pull request #236 opened by proux01
30m 26s
30m 26s
Drop support for Rocq 9.0 Nix CI for bundle rocq-9.1 #162: Pull request #236 opened by proux01
30m 4s
30m 4s