Skip to content

Actions: rocq-prover/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,706 workflow runs
1,706 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to rocq-prover/rocq#20902 (induction checks the right scheme) CI (Alpine) #132: Pull request #194 opened by SkySkimmer
July 11, 2025 15:24 3m 7s SkySkimmer:induction-double
SkySkimmer:induction-double
July 11, 2025 15:24 3m 7s
Adapt to rocq-prover/rocq#20902 (induction checks the right scheme) Nix CI for bundle rocq-master #403: Pull request #194 opened by SkySkimmer
July 11, 2025 15:24 1h 12m 25s
July 11, 2025 15:24 1h 12m 25s
Adapt to rocq-prover/rocq#20902 (induction checks the right scheme) Nix CI for bundle rocq-9.0 #404: Pull request #194 opened by SkySkimmer
July 11, 2025 15:24 1h 55m 57s
July 11, 2025 15:24 1h 55m 57s
[CI] Bump elpi to 3.0.0 CI (Alpine) #131: Pull request #193 synchronize by proux01
July 11, 2025 12:45 3m 10s proux01:update-elpi
proux01:update-elpi
July 11, 2025 12:45 3m 10s
[CI] Bump elpi to 3.0.0 Nix CI for bundle rocq-9.0 #403: Pull request #193 synchronize by proux01
July 11, 2025 12:45 2h 39m 45s
July 11, 2025 12:45 2h 39m 45s
[CI] Bump elpi to 3.0.0 Nix CI for bundle rocq-master #402: Pull request #193 synchronize by proux01
July 11, 2025 12:45 1h 45m 51s
July 11, 2025 12:45 1h 45m 51s
[CI] Bump elpi to 3.0.0 CI (Alpine) #130: Pull request #193 opened by proux01
July 11, 2025 12:27 3m 32s proux01:update-elpi
proux01:update-elpi
July 11, 2025 12:27 3m 32s
[CI] Bump elpi to 3.0.0 Nix CI for bundle rocq-master #401: Pull request #193 opened by proux01
July 11, 2025 12:27 16m 5s
July 11, 2025 12:27 16m 5s
[CI] Bump elpi to 3.0.0 Nix CI for bundle rocq-9.0 #402: Pull request #193 opened by proux01
July 11, 2025 12:27 16m 9s
July 11, 2025 12:27 16m 9s
Merge pull request #191 from SkySkimmer/proof-term Nix CI for bundle rocq-9.0 #401: Commit 59e6e81 pushed by SkySkimmer
July 11, 2025 12:20 2h 18m 19s master
master
July 11, 2025 12:20 2h 18m 19s
Merge pull request #191 from SkySkimmer/proof-term Nix CI for bundle rocq-master #400: Commit 59e6e81 pushed by SkySkimmer
July 11, 2025 12:20 2h 1m 18s master
master
July 11, 2025 12:20 2h 1m 18s
Merge pull request #191 from SkySkimmer/proof-term CI (Alpine) #129: Commit 59e6e81 pushed by SkySkimmer
July 11, 2025 12:20 5m 8s master
master
July 11, 2025 12:20 5m 8s
Stop using "Proof term" in output test CI (Alpine) #128: Pull request #191 opened by SkySkimmer
July 11, 2025 12:08 3m 0s SkySkimmer:proof-term
SkySkimmer:proof-term
July 11, 2025 12:08 3m 0s
Stop using "Proof term" in output test Nix CI for bundle rocq-master #399: Pull request #191 opened by SkySkimmer
July 11, 2025 12:08 2h 13m 34s
July 11, 2025 12:08 2h 13m 34s
Stop using "Proof term" in output test Nix CI for bundle rocq-9.0 #400: Pull request #191 opened by SkySkimmer
July 11, 2025 12:08 2h 24m 40s
July 11, 2025 12:08 2h 24m 40s
Merge pull request #190 from proux01/fix Nix CI for bundle rocq-9.0 #399: Commit 311dfa5 pushed by proux01
July 10, 2025 15:07 2h 19m 35s master
master
July 10, 2025 15:07 2h 19m 35s
Merge pull request #190 from proux01/fix CI (Alpine) #127: Commit 311dfa5 pushed by proux01
July 10, 2025 15:07 3m 7s master
master
July 10, 2025 15:07 3m 7s
Merge pull request #190 from proux01/fix Nix CI for bundle rocq-master #398: Commit 311dfa5 pushed by proux01
July 10, 2025 15:07 1h 4m 4s master
master
July 10, 2025 15:07 1h 4m 4s
Revert "[build] Fix missing deps in dune rule for All.v file" Nix CI for bundle rocq-9.0 #398: Pull request #190 opened by proux01
July 10, 2025 15:07 25s
July 10, 2025 15:07 25s
Revert "[build] Fix missing deps in dune rule for All.v file" Nix CI for bundle rocq-master #397: Pull request #190 opened by proux01
July 10, 2025 15:07 17s
July 10, 2025 15:07 17s
Revert "[build] Fix missing deps in dune rule for All.v file" CI (Alpine) #126: Pull request #190 opened by proux01
July 10, 2025 15:07 19s proux01:fix
proux01:fix
July 10, 2025 15:07 19s
[CI] Add Rocq 9.1+rc1 CI (Alpine) #125: Pull request #189 synchronize by proux01
July 10, 2025 09:09 2m 58s proux01:ci-update
proux01:ci-update
July 10, 2025 09:09 2m 58s
[CI] Add Rocq 9.1+rc1 Nix CI for bundle rocq-9.1 #5: Pull request #189 synchronize by proux01
July 10, 2025 09:09 4h 51m 29s proux01:ci-update
proux01:ci-update
July 10, 2025 09:09 4h 51m 29s
[CI] Add Rocq 9.1+rc1 Nix CI for bundle rocq-9.0 #397: Pull request #189 synchronize by proux01
July 10, 2025 09:09 2h 13m 44s proux01:ci-update
proux01:ci-update
July 10, 2025 09:09 2h 13m 44s
[CI] Add Rocq 9.1+rc1 Nix CI for bundle rocq-master #396: Pull request #189 synchronize by proux01
July 10, 2025 09:09 1h 55m 59s proux01:ci-update
proux01:ci-update
July 10, 2025 09:09 1h 55m 59s