8000 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

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
[serlib] [ltac2] Fix wrong piercing creating havoc. CI #456: Pull request #413 opened by ejgallego
May 28, 2024 09:03 14m 32s fix_ltac2_piercing
fix_ltac2_piercing
May 28, 2024 09:03 14m 32s
Adapt to coq/coq#19078 (different module type for unordered maps) CI #455: Pull request #412 opened by SkySkimmer
May 27, 2024 12:54 14m 17s SkySkimmer:csig-umap
SkySkimmer:csig-umap
May 27, 2024 12:54 14m 17s
Merge pull request #410 from ejgallego/relax_opam CI #454: Commit 8619fae pushed by ejgallego
May 16, 2024 00:38 12m 39s main
main
May 16, 2024 00:38 12m 39s
[opam] Allow Coq dev version on constraint. CI #453: Pull request #410 opened by ejgallego
May 16, 2024 00:03 12m 54s relax_opam
relax_opam
May 16, 2024 00:03 12m 54s
0