Skip to content

Actions: rocq-archive/coq-serapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Keep the Vmlibrary.t type opaque. CI #393: Pull request #393 opened by ppedrot
February 24, 2024 08:57 12m 48s ppedrot:opacify-vmlibrary
ppedrot:opacify-vmlibrary
February 24, 2024 08:57 12m 48s
[meta] Fix licence headers for JS files CI #392: Commit 7725853 pushed by ejgallego
February 22, 2024 15:00 9m 52s main
main
February 22, 2024 15:00 9m 52s
Merge pull request #389 from ppedrot/vm-split-bytecode CI #391: Commit b728569 pushed by SkySkimmer
February 22, 2024 12:28 12m 55s main
main
February 22, 2024 12:28 12m 55s
pages build and deployment pages-build-deployment #18: by ejgallego
February 21, 2024 21:03 38s gh-pages
gh-pages
February 21, 2024 21:03 38s
Merge pull request #392 from ejgallego/v8.19.1_rc CI #390: Commit 7d68d13 pushed by ejgallego
February 21, 2024 20:59 10m 9s v8.19
v8.19
February 21, 2024 20:59 10m 9s
Merge pull request #361 from ejgallego/licensing_fixes CI #389: Commit e8858dd pushed by ejgallego
February 21, 2024 20:35 9m 21s main
main
February 21, 2024 20:35 9m 21s
[backports] CI for 8.19.1 CI #388: Pull request #392 opened by ejgallego
February 21, 2024 20:35 10m 9s v8.19.1_rc
v8.19.1_rc
February 21, 2024 20:35 10m 9s
[doc] [license] Improve licensing situation. CI #387: Pull request #361 synchronize by ejgallego
February 21, 2024 20:22 10m 1s licensing_fixes
licensing_fixes
February 21, 2024 20:22 10m 1s
Merge pull request #375 from toku-sa-n/support-extraction CI #386: Commit b1dd23b pushed by ejgallego
February 21, 2024 20:03 10m 37s main
main
February 21, 2024 20:03 10m 37s
Support the extraction plugin CI #385: Pull request #375 synchronize by ejgallego
February 21, 2024 19:05 9m 59s toku-sa-n:support-extraction
toku-sa-n:support-extraction
February 21, 2024 19:05 9m 59s
Adapt w.r.t. coq/coq#17674. CI #384: Pull request #389 synchronize by ppedrot
February 21, 2024 18:30 9m 7s ppedrot:vm-split-bytecode
ppedrot:vm-split-bytecode
February 21, 2024 18:30 9m 7s
Merge pull request #391 from ejgallego/btauto CI #383: Commit 6620b77 pushed by ejgallego
February 21, 2024 18:09 9m 40s main
main
February 21, 2024 18:09 9m 40s
Merge pull request #387 from Yann-Leray/rewrite-rules CI #382: Commit e25a10c pushed by SkySkimmer
February 21, 2024 13:41 12m 11s main
main
February 21, 2024 13:41 12m 11s
Merge pull request #390 from ppedrot/cleanup-hint-path-derivate CI #381: Commit da086de pushed by SkySkimmer
February 19, 2024 11:39 9m 35s main
main
February 19, 2024 11:39 9m 35s
[serlib] Support btauto Coq plugin CI #380: Pull request #391 opened by ejgallego
February 15, 2024 21:19 9m 57s btauto
btauto
February 15, 2024 21:19 9m 57s
Adapt w.r.t. coq/coq#18664. CI #379: Pull request #390 opened by ppedrot
February 14, 2024 11:45 9m 26s ppedrot:cleanup-hint-path-derivate
ppedrot:cleanup-hint-path-derivate
February 14, 2024 11:45 9m 26s
Adapt w.r.t. coq/coq#17674. CI #378: Pull request #389 opened by ppedrot
February 10, 2024 14:44 9m 8s ppedrot:vm-split-bytecode
ppedrot:vm-split-bytecode
February 10, 2024 14:44 9m 8s
Adapt to coq/coq#18546. CI #377: Pull request #388 opened by rlepigre
February 6, 2024 10:09 8m 36s rlepigre:br/evaluable_refactoring
rlepigre:br/evaluable_refactoring
February 6, 2024 10:09 8m 36s
[doc] Add instructions on adding new types to serlib README CI #376: Commit 4d38ca0 pushed by ejgallego
February 5, 2024 18:36 13m 29s main
main
February 5, 2024 18:36 13m 29s
pages build and deployment pages-build-deployment #17: by ejgallego
February 5, 2024 15:16 1m 55s gh-pages
gh-pages
February 5, 2024 15:16 1m 55s
pages build and deployment pages-build-deployment #16: by ejgallego
February 5, 2024 15:01 9m 19s gh-pages
gh-pages
February 5, 2024 15:01 9m 19s
[serlib] Expose some more functions related to Require's AST. CI #374: Commit 3b46f91 pushed by ejgallego
February 5, 2024 14:58 18m 0s v8.17
v8.17
February 5, 2024 14:58 18m 0s
[serlib] Expose some more functions related to Require's AST. CI #373: Commit b866a7f pushed by ejgallego
February 5, 2024 14:53 18m 41s v8.18
v8.18
February 5, 2024 14:53 18m 41s
Support the extraction plugin CI #372: Pull request #375 synchronize by toku-sa-n
February 5, 2024 12:17 20m 6s toku-sa-n:support-extraction
toku-sa-n:support-extraction
February 5, 2024 12:17 20m 6s
pages build and deployment pages-build-deployment #15: by ejgallego
February 4, 2024 19:17 46s gh-pages
gh-pages
February 4, 2024 19:17 46s