8000 CI · Workflow runs · rocq-archive/coq-serapi · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: rocq-archive/coq-serapi

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[README] Point to coq-community issue CI #515: Commit 6196f9f pushed by ejgallego
November 13, 2024 11:15 16m 53s main
main
November 13, 2024 11:15 16m 53s
Merge pull request #429 from SkySkimmer/coqargs-pure CI #514: Commit a86129f pushed by SkySkimmer
October 30, 2024 13:02 12m 35s main
main
October 30, 2024 13:02 12m 35s
Adapt to coq/coq#19757 (Coqargs is pure) CI #513: Pull request #429 opened by SkySkimmer
October 25, 2024 11:29 12m 43s SkySkimmer:coqargs-pure
SkySkimmer:coqargs-pure
October 25, 2024 11:29 12m 43s
Merge pull request #428 from SkySkimmer/async-positive CI #512: Commit 8dbcdb3 pushed by SkySkimmer
October 24, 2024 16:29 12m 24s main
main
October 24, 2024 16:29 12m 24s
Adapt to coq/coq#19741 (STM worker spawning doesn't use Sys.argv directly) CI #511: Pull request #428 opened by SkySkimmer
October 23, 2024 13:13 15m 34s SkySkimmer:async-positive
SkySkimmer:async-positive
October 23, 2024 13:13 15m 34s
Merge pull request #427 from ppedrot/we-will-rocq-you-pcoq CI #510: Commit ee470bb pushed by SkySkimmer
October 23, 2024 13:11 16m 22s main
main
October 23, 2024 13:11 16m 22s
Adapt w.r.t. coq/coq#19736. CI #509: Pull request #427 opened by ppedrot
October 22, 2024 09:31 15m 43s ppedrot:we-will-rocq-you-pcoq
ppedrot:we-will-rocq-you-pcoq
October 22, 2024 09:31 15m 43s
Merge pull request #426 from proux01/coq_19370 CI #508: Commit 5e8d6ad pushed by ejgallego
October 11, 2024 22:59 16m 10s main
main
October 11, 2024 22:59 16m 10s
Adapt to https://github.com/coq/coq/pull/19370 CI #507: Pull request #426 opened by proux01
October 7, 2024 11:37 15m 40s proux01:coq_19370
proux01:coq_19370
October 7, 2024 11:37 15m 40s
Adapt to https://github.com/coq/coq/pull/19530 CI #506: Pull request #425 opened by proux01
September 17, 2024 06:25 12m 23s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:25 12m 23s
Merge pull request #422 from proux01/coq_19310 CI #505: Commit 652a8cc pushed by ejgallego
September 10, 2024 10:06 15m 48s main
main
September 10, 2024 10:06 15m 48s
[meta] Changes for 8.20 CI #504: Commit feb42b7 pushed by ejgallego
September 8, 2024 15:38 11m 51s main
main
September 8, 2024 15:38 11m 51s
[meta] Add license info for sertop.el CI #503: Commit e052cad pushed by ejgallego
September 8, 2024 15:38 12m 3s v8.20
v8.20
September 8, 2024 15:38 12m 3s
[meta] Add license info for sertop.el CI #502: Commit 96a6c1b pushed by ejgallego
September 8, 2024 15:37 11m 54s main
main
September 8, 2024 15:37 11m 54s
[changes] Release 0.20.0 for Coq 8.20 CI #501: Commit cddc890 pushed by ejgallego
September 8, 2024 15:34 12m 0s v8.20
v8.20
September 8, 2024 15:34 12m 0s
Merge pull request #424 from ppedrot/fast-namegen-detyping CI #500: Commit 32c50bb pushed by SkySkimmer
September 2, 2024 08:29 12m 33s main
main
September 2, 2024 08:29 12m 33s
Adapt w.r.t. coq/coq#19481. CI #499: Pull request #424 opened by ppedrot
August 30, 2024 10:43 11m 25s ppedrot:fast-namegen-detyping
ppedrot:fast-namegen-detyping
August 30, 2024 10:43 11m 25s
[v8.20] Fix loader and some other bits after re-merge. CI #498: Commit bf785c7 pushed by ejgallego
August 29, 2024 21:33 9m 2s v8.20
v8.20
August 29, 2024 21:33 9m 2s
Merge pull request #423 from ejgallego/ci_after CI #497: Commit b85cd3d pushed by ejgallego
August 29, 2024 21:21 11m 15s main
main
August 29, 2024 21:21 11m 15s
[ci] Build Coq after final OPAM setup. CI #496: Pull request #423 opened by ejgallego
August 29, 2024 18:49 11m 26s ci_after
ci_after
August 29, 2024 18:49 11m 26s
[v8.20] [ci] Build Coq after final OPAM setup. CI #495: Commit bdbe8e9 pushed by ejgallego
August 29, 2024 18:47 11m 39s v8.20
v8.20
August 29, 2024 18:47 11m 39s
[v8.20] Serlib tests fixup after un-merge. CI #494: Commit 7087706 pushed by ejgallego
August 29, 2024 18:46 10m 21s v8.20
v8.20
August 29, 2024 18:46 10m 21s
[v8.20] CI Fixup CI #493: Commit 9ea05d6 pushed by ejgallego
August 29, 2024 18:35 10m 32s v8.20
v8.20
August 29, 2024 18:35 10m 32s
[v8.20] CI Fixup CI #492: Commit 82717aa pushed by ejgallego
August 29, 2024 18:35 10m 48s v8.20
v8.20
August 29, 2024 18:35 10m 48s
[v8.20] CI Fixup CI #491: Commit 4eea49b pushed by ejgallego
August 29, 2024 18:28 10m 8s v8.20
v8.20
August 29, 2024 18:28 10m 8s
0