Skip to content

Actions: ejgallego/coq-lsp

Actions

Github CI

Actions

Loading...
Loading

Create status badge

Loading
build.yml
1,200 workflow runs
1,200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[web worker] [build] Fix tag / branch for Rocq 9.0 Web Build Github CI #3231: Commit e44e7ef pushed by ejgallego
March 29, 2025 13:11 14m 20s v9.0
v9.0
March 29, 2025 13:11 14m 20s
Merge branch 'v8.20' into v8.19 Github CI #3230: Commit 169b85d pushed by ejgallego
March 29, 2025 12:52 25m 14s v8.19
v8.19
March 29, 2025 12:52 25m 14s
Merge branch 'v9.0' into v8.20 Github CI #3229: Commit afa1013 pushed by ejgallego
March 29, 2025 12:51 20m 5s v8.20
v8.20
March 29, 2025 12:51 20m 5s
Merge branch 'main' into v9.0 Github CI #3228: Commit 766b528 pushed by ejgallego
March 29, 2025 12:51 15m 28s v9.0
v9.0
March 29, 2025 12:51 15m 28s
[build] Improve vendored makefile logic Github CI #3227: Commit dba1d7a pushed by ejgallego
March 29, 2025 12:50 14m 16s main
main
March 29, 2025 12:50 14m 16s
Merge branch 'main' into v9.0 Github CI #3226: Commit 916dcbb pushed by ejgallego
March 29, 2025 12:47 3m 46s v9.0
v9.0
March 29, 2025 12:47 3m 46s
[vendor] Bump Rocq submodules after #932 Github CI #3225: Commit 6ecaee3 pushed by ejgallego
March 29, 2025 12:42 7m 46s main
main
March 29, 2025 12:42 7m 46s
Merge branch 'v9.0' into v8.20 Github CI #3224: Commit 2754a78 pushed by ejgallego
March 29, 2025 12:39 12m 48s v8.20
v8.20
March 29, 2025 12:39 12m 48s
Merge pull request #932 from SkySkimmer/dirpath-full-path Github CI #3223: Commit 23715b1 pushed by ppedrot
March 27, 2025 10:21 11m 26s main
main
March 27, 2025 10:21 11m 26s
[opam] Don't depend on Coq compat layer. Github CI #3222: Commit ed1b19a pushed by ejgallego
March 22, 2025 20:41 15m 56s v9.0
v9.0
March 22, 2025 20:41 15m 56s
[opam] Don't depend on Coq compat layer. Github CI #3221: Commit e0ebb9c pushed by ejgallego
March 22, 2025 20:40 12m 54s main
main
March 22, 2025 20:40 12m 54s
[tests] [petanque] rocq-stdlib doesn't install dune-package files Github CI #3220: Commit 2bb791a pushed by ejgallego
March 22, 2025 20:03 15m 43s v9.0
v9.0
March 22, 2025 20:03 15m 43s
[coq] Fix a couple of nits due to 9.0 vs main API differences Github CI #3219: Commit 2960946 pushed by ejgallego
March 22, 2025 19:43 14m 16s v9.0
v9.0
March 22, 2025 19:43 14m 16s
[ci] [opam] Fix opam and CI (missing coq dep) Github CI #3218: Commit e908979 pushed by ejgallego
March 22, 2025 19:27 13m 3s v9.0
v9.0
March 22, 2025 19:27 13m 3s
Merge branch 'v9.0' into v8.20 Github CI #3217: Commit 8f52831 pushed by ejgallego
March 22, 2025 19:23 12m 37s v8.20
v8.20
March 22, 2025 19:23 12m 37s
Merge branch 'main' into v9.0 Github CI #3216: Commit 0822258 pushed by ejgallego
March 22, 2025 19:18 6m 47s v9.0
v9.0
March 22, 2025 19:18 6m 47s
[build] Freeze serlib for 9.0 Github CI #3215: Commit ceec46c pushed by ejgallego
March 22, 2025 19:16 1m 40s v9.0
v9.0
March 22, 2025 19:16 1m 40s
[ci] Enable CI for v9.0 and v9.1 branches Github CI #3214: Commit e91f28f pushed by ejgallego
March 22, 2025 19:14 2m 28s v9.0
v9.0
March 22, 2025 19:14 2m 28s
[vendor] Bump Rocq after #925 Github CI #3213: Commit 497e022 pushed by ejgallego
March 22, 2025 18:36 14m 10s main
main
March 22, 2025 18:36 14m 10s
Adapt to coq/coq#20371 (object_prefix moved to libobject) Github CI #3212: Pull request #932 opened by SkySkimmer
March 20, 2025 14:41 12m 12s SkySkimmer:dirpath-full-path
SkySkimmer:dirpath-full-path
March 20, 2025 14:41 12m 12s
Merge pull request #925 from SkySkimmer/genarg-ntn-vars Github CI #3211: Commit 72b95ea pushed by ppedrot
March 19, 2025 10:57 11m 48s main
main
March 19, 2025 10:57 11m 48s
Merge pull request #930 from ejgallego/bump_coq Github CI #3210: Commit 3af751d pushed by ejgallego
March 18, 2025 22:54 13m 47s main
main
March 18, 2025 22:54 13m 47s
[vendor] Bump Coq submodules after #891 Github CI #3209: Pull request #930 opened by ejgallego
March 18, 2025 22:34 13m 18s bump_coq
bump_coq
March 18, 2025 22:34 13m 18s
Merge pull request #891 from SkySkimmer/configure-clean Github CI #3208: Commit 616174b pushed by SkySkimmer
March 18, 2025 21:12 16m 46s main
main
March 18, 2025 21:12 16m 46s
Adapt to coq/coq#19901 (relocatable mode) Github CI #3207: Pull request #891 synchronize by SkySkimmer
March 18, 2025 21:12 13m 13s SkySkimmer:configure-clean
SkySkimmer:configure-clean
March 18, 2025 21:12 13m 13s