Skip to content

Actions: ejgallego/coq-lsp

Actions

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
780 workflow runs
780 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump waterproof, rocq, and stdlib Github CI #3540: Commit 1eb26e1 pushed by ejgallego
August 26, 2025 13:31 14m 8s wasm
wasm
August 26, 2025 13:31 14m 8s
bump waterproof, rocq, and stdlib Github CI #3539: Commit 88b5ac8 pushed by ejgallego
August 26, 2025 13:22 9m 40s wasm
wasm
August 26, 2025 13:22 9m 40s
less log, build for Pim v3 Github CI #3538: Commit ec41078 pushed by ejgallego
August 25, 2025 16:51 13m 25s wasm
wasm
August 25, 2025 16:51 13m 25s
Idle queue Github CI #3537: Commit cdbdc41 pushed by ejgallego
August 25, 2025 16:38 14m 3s wasm
wasm
August 25, 2025 16:38 14m 3s
some debug facilities Github CI #3536: Commit 224b6b2 pushed by ejgallego
August 24, 2025 19:37 12m 49s wasm
wasm
August 24, 2025 19:37 12m 49s
enable interrupts, build core-fs.zip in CI Github CI #3535: Commit b1136bb pushed by ejgallego
August 21, 2025 12:48 14m 2s wasm
wasm
August 21, 2025 12:48 14m 2s
enable interrupts, build core-fs.zip in CI Github CI #3534: Commit d712236 pushed by ejgallego
August 19, 2025 15:55 13m 17s wasm
wasm
August 19, 2025 15:55 13m 17s
enable interrupts, build core-fs.zip in CI Github CI #3533: Commit 63d9a16 pushed by ejgallego
August 18, 2025 11:12 14m 16s wasm
wasm
August 18, 2025 11:12 14m 16s
enable interrupts, build core-fs.zip in CI Github CI #3532: Commit 836aa44 pushed by ejgallego
August 17, 2025 20:49 13m 45s wasm
wasm
August 17, 2025 20:49 13m 45s
enable interrupts, build core-fs.zip in CI Github CI #3531: Commit 2e3dce4 pushed by ejgallego
August 13, 2025 10:27 15m 17s wasm
wasm
August 13, 2025 10:27 15m 17s
enable interrupts, build core-fs.zip in CI Github CI #3530: Commit 716e960 pushed by ejgallego
August 12, 2025 17:32 13m 22s wasm
wasm
August 12, 2025 17:32 13m 22s
build fs with waterproof Github CI #3529: Commit dc0859f pushed by ejgallego
August 12, 2025 11:57 8m 22s wasm
wasm
August 12, 2025 11:57 8m 22s
Base is not present in opam dependencies Github CI #3528: Pull request #1004 synchronize by patrick-nicodemus
August 7, 2025 13:35 13m 29s patrick-nicodemus:patch-1
patrick-nicodemus:patch-1
August 7, 2025 13:35 13m 29s
Base is not present in opam dependencies Github CI #3527: Pull request #1004 synchronize by patrick-nicodemus
August 7, 2025 09:36 13m 40s patrick-nicodemus:patch-1
patrick-nicodemus:patch-1
August 7, 2025 09:36 13m 40s
more debug Github CI #3526: Commit 2116f1f pushed by ejgallego
August 6, 2025 12:26 15m 14s wasm
wasm
August 6, 2025 12:26 15m 14s
debug build Github CI #3525: Commit 25911d9 pushed by ejgallego
August 6, 2025 12:08 13m 40s wasm
wasm
August 6, 2025 12:08 13m 40s
debug build Github CI #3524: Commit ff58e03 pushed by ejgallego
August 6, 2025 11:53 9m 29s wasm
wasm
August 6, 2025 11:53 9m 29s
Base is not present in opam dependencies Github CI #3523: Pull request #1004 synchronize by patrick-nicodemus
August 5, 2025 18:19 16m 19s patrick-nicodemus:patch-1
patrick-nicodemus:patch-1
August 5, 2025 18:19 16m 19s
Base is not present in opam dependencies Github CI #3522: Pull request #1004 opened by patrick-nicodemus
August 5, 2025 17:56 Action required patrick-nicodemus:patch-1
patrick-nicodemus:patch-1
August 5, 2025 17:56 Action required
Disable jsoo build as it fails in 4.12 due to OCaml compiler bug Github CI #3521: Commit 5d9aaaa pushed by ejgallego
August 5, 2025 10:59 13m 21s wasm
wasm
August 5, 2025 10:59 13m 21s
preliminary ci setup Github CI #3520: Commit df832e8 pushed by ejgallego
August 5, 2025 10:47 12m 48s wasm
wasm
August 5, 2025 10:47 12m 48s
preliminary ci setup Github CI #3519: Commit 6d17aea pushed by ejgallego
August 5, 2025 10:27 14m 20s wasm
wasm
August 5, 2025 10:27 14m 20s
preliminary ci setup Github CI #3518: Commit dafd2b8 pushed by ejgallego
August 5, 2025 10:07 9m 38s wasm
wasm
August 5, 2025 10:07 9m 38s
preliminary ci setup Github CI #3517: Commit a266f97 pushed by ejgallego
August 5, 2025 09:51 13m 37s wasm
wasm
August 5, 2025 09:51 13m 37s
[coq-lsp] Preliminary 9.1 branch Github CI #3516: Commit 339dc66 pushed by ejgallego
August 1, 2025 00:28 16m 45s v9.1
v9.1
August 1, 2025 00:28 16m 45s