Skip to content

Actions: ejgallego/coq-serapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
244 workflow runs
244 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #421 from gares/quickfix CI #481: Commit 7563a3d pushed by SkySkimmer
June 24, 2024 10:56 13m 36s main
main
June 24, 2024 10:56 13m 36s
adapt to coq/coq#19147 CI #480: Pull request #421 synchronize by gares
June 22, 2024 18:45 14m 43s gares:quickfix
gares:quickfix
June 22, 2024 18:45 14m 43s
adapt to coq/coq#19147 CI #479: Pull request #421 synchronize by gares
June 22, 2024 11:42 13m 56s gares:quickfix
gares:quickfix
June 22, 2024 11:42 13m 56s
adapt to coq/coq#19147 CI #478: Pull request #421 opened by gares
June 22, 2024 06:16 14m 31s gares:quickfix
gares:quickfix
June 22, 2024 06:16 14m 31s
Merge pull request #419 from ejgallego/vernacstate_remove_parsing CI #477: Commit eb845aa pushed by SkySkimmer
June 14, 2024 14:04 13m 9s main
main
June 14, 2024 14:04 13m 9s
[coq] Adapt to coq/coq#19193 CI #476: Pull request #419 opened by ejgallego
June 10, 2024 19:37 13m 27s vernacstate_remove_parsing
vernacstate_remove_parsing
June 10, 2024 19:37 13m 27s
Merge pull request #417 from ejgallego/vernacstate_remove_pcoq CI #475: Commit 683b7de pushed by SkySkimmer
June 10, 2024 11:59 13m 54s main
main
June 10, 2024 11:59 13m 54s
[coq] Adapt to coq/coq#19187 CI #474: Pull request #417 opened by ejgallego
June 8, 2024 22:44 13m 24s vernacstate_remove_pcoq
vernacstate_remove_pcoq
June 8, 2024 22:44 13m 24s
[deps] Bump to Dune 2.9 as to support Coq's CI setup. CI #473: Commit 451e9a3 pushed by ejgallego
June 5, 2024 18:15 13m 41s main
main
June 5, 2024 18:15 13m 41s
[build] Depend on result explicitly. CI #472: Commit 2d00383 pushed by ejgallego
June 4, 2024 18:00 17m 25s v8.17
v8.17
June 4, 2024 18:00 17m 25s
Merge pull request #409 from ejgallego/serlib_merge CI #471: Commit e59d1dc pushed by ejgallego
June 4, 2024 15:38 14m 45s main
main
June 4, 2024 15:38 14m 45s
[serlib] Remove serlib and use coq-lsp serlib version instead. CI #470: Pull request #409 synchronize by ejgallego
June 4, 2024 15:13 20m 31s serlib_merge
serlib_merge
June 4, 2024 15:13 20m 31s
[serlib] Remove serlib and use coq-lsp serlib version instead. CI #469: Pull request #409 synchronize by ejgallego
June 3, 2024 18:12 14m 9s serlib_merge
serlib_merge
June 3, 2024 18:12 14m 9s
[serlib] Remove serlib and use coq-lsp serlib version instead. CI #468: Pull request #409 synchronize by ejgallego
June 3, 2024 17:58 15m 8s serlib_merge
serlib_merge
June 3, 2024 17:58 15m 8s
[serlib] Remove serlib and use coq-lsp serlib version instead. CI #467: Pull request #409 synchronize by ejgallego
June 3, 2024 17:25 15m 42s serlib_merge
serlib_merge
June 3, 2024 17:25 15m 42s
[serlib] Remove serlib and use coq-lsp serlib version instead. CI #466: Pull request #409 synchronize by ejgallego
June 3, 2024 17:21 11m 55s serlib_merge
serlib_merge
June 3, 2024 17:21 11m 55s
[serlib] Remove serlib and use coq-lsp serlib version instead. CI #465: Pull request #409 synchronize by ejgallego
June 3, 2024 17:07 10m 46s serlib_merge
serlib_merge
June 3, 2024 17:07 10m 46s
[serlib] Remove serlib and use coq-lsp serlib version instead. CI #464: Pull request #409 synchronize by ejgallego
June 3, 2024 16:55 12m 22s serlib_merge
serlib_merge
June 3, 2024 16:55 12m 22s
Adapt to coq/coq#18973. CI #463: Pull request #416 opened by rlepigre
June 3, 2024 12:56 15m 0s rlepigre:br/prim-string
rlepigre:br/prim-string
June 3, 2024 12:56 15m 0s
Merge pull request #415 from ejgallego/fix_result_compat CI #462: Commit 24c672b pushed by ejgallego
May 29, 2024 16:49 13m 15s main
main
May 29, 2024 16:49 13m 15s
[serlib] Don't use compat type Result.result CI #461: Pull request #415 opened by ejgallego
May 29, 2024 16:23 11m 41s fix_result_compat
fix_result_compat
May 29, 2024 16:23 11m 41s
Merge pull request #412 from SkySkimmer/csig-umap CI #460: Commit 9f1cd45 pushed by SkySkimmer
May 29, 2024 08:30 10m 21s main
main
May 29, 2024 08:30 10m 21s
[serlib] [ltac2] Test for Ltac2 serialization CI #459: Pull request #414 synchronize by ejgallego
May 28, 2024 09:23 26m 4s test_ltac2
test_ltac2
May 28, 2024 09:23 26m 4s
Merge pull request #413 from ejgallego/fix_ltac2_piercing CI #458: Commit cfa66f2 pushed by ejgallego
May 28, 2024 09:17 16m 48s main
main
May 28, 2024 09:17 16m 48s
[serlib] [ltac2] Test for Ltac2 serialization CI #457: Pull request #414 opened by ejgallego
May 28, 2024 09:07 14m 24s test_ltac2
test_ltac2
May 28, 2024 09:07 14m 24s