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

Merge pull request #245 from mattam82/fix-sint63-link Nix CI for bundle rocq-master #606: Commit dcf7714 pushed by andres-erbsen
2h 24m 22s master
master
2h 24m 22s
Merge pull request #245 from mattam82/fix-sint63-link Nix CI for bundle rocq-9.2 #37: Commit dcf7714 pushed by andres-erbsen
26m 36s master
master
26m 36s
Merge pull request #245 from mattam82/fix-sint63-link Nix CI for bundle rocq-9.1 #171: Commit dcf7714 pushed by andres-erbsen
30m 33s master
master
30m 33s
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
Fix Sint63 link in stdlib/index.html Nix CI for bundle rocq-master #605: Pull request #245 opened by mattam82
2h 25m 14s
2h 25m 14s
Fix Sint63 link in stdlib/index.html Nix CI for bundle rocq-9.2 #36: Pull request #245 opened by mattam82
25m 27s
25m 27s
Fix Sint63 link in stdlib/index.html Nix CI for bundle rocq-9.1 #170: Pull request #245 opened by mattam82
35m 19s
35m 19s
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