Skip to content

Actions: rocq-archive/coq-serapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
215 workflow runs
215 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #403 from ejgallego/fix_quality CI #415: Commit 0bf56da pushed by ejgallego
April 4, 2024 18:30 11m 55s main
main
April 4, 2024 18:30 11m 55s
[upstream] Fix breaking merge in Coq upstream. CI #414: Pull request #403 opened by ejgallego
April 4, 2024 18:14 12m 22s fix_quality
fix_quality
April 4, 2024 18:14 12m 22s
Merge pull request #388 from rlepigre/br/evaluable_refactoring CI #413: Commit 0fbcb67 pushed by ppedrot
April 3, 2024 10:40 12m 38s main
main
April 3, 2024 10:40 12m 38s
Adapt to coq/coq#18546. CI #412: Pull request #388 synchronize by rlepigre
April 2, 2024 08:52 12m 30s rlepigre:br/evaluable_refactoring
rlepigre:br/evaluable_refactoring
April 2, 2024 08:52 12m 30s
Adapt to coq/coq#18852 (interp_red_expr can be done without ltac) CI #411: Pull request #402 opened by SkySkimmer
March 28, 2024 16:10 12m 12s SkySkimmer:redexpr-clean
SkySkimmer:redexpr-clean
March 28, 2024 16:10 12m 12s
Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) CI #410: Pull request #401 opened by SkySkimmer
March 22, 2024 14:08 11m 49s SkySkimmer:indirect
SkySkimmer:indirect
March 22, 2024 14:08 11m 49s
pages build and deployment pages-build-deployment #21: by ejgallego
March 21, 2024 22:17 42s gh-pages
gh-pages
March 21, 2024 22:17 42s
[serlib] Fix TODO / bug in primitive code. CI #409: Commit 9c3f5bf pushed by ejgallego
March 21, 2024 22:13 20m 5s v8.17
v8.17
March 21, 2024 22:13 20m 5s
[serlib] Fix TODO / bug in primitive code. CI #408: Commit ba1550a pushed by ejgallego
March 21, 2024 22:12 18m 45s v8.17
v8.17
March 21, 2024 22:12 18m 45s
pages build and deployment pages-build-deployment #20: by ejgallego
March 21, 2024 22:08 40s gh-pages
gh-pages
March 21, 2024 22:08 40s
[serlib] Fix TODO / bug in primitive code. CI #407: Commit bc3450a pushed by ejgallego
March 21, 2024 22:06 15m 19s v8.18
v8.18
March 21, 2024 22:06 15m 19s
pages build and deployment pages-build-deployment #19: by ejgallego
March 21, 2024 15:09 41s gh-pages
gh-pages
March 21, 2024 15:09 41s
Merge pull request #398 from ejgallego/fix_cprimitive CI #406: Commit 71c553d pushed by ejgallego
March 21, 2024 14:56 9m 19s main
main
March 21, 2024 14:56 9m 19s
[serlib] Fix TODO / bug in primitive code. CI #405: Pull request #398 synchronize by ejgallego
March 21, 2024 14:38 19m 31s fix_cprimitive
fix_cprimitive
March 21, 2024 14:38 19m 31s
[serlib] Fix TODO / bug in primitive code. CI #404: Pull request #398 synchronize by ejgallego
March 21, 2024 14:37 13m 7s fix_cprimitive
fix_cprimitive
March 21, 2024 14:37 13m 7s
Merge pull request #399 from ejgallego/remove_mc_test CI #403: Commit 87d1114 pushed by ejgallego
March 21, 2024 14:36 13m 38s main
main
March 21, 2024 14:36 13m 38s
[test] Don't require math-comp to run the test suite. CI #402: Pull request #399 synchronize by ejgallego
March 21, 2024 11:40 12m 44s remove_mc_test
remove_mc_test
March 21, 2024 11:40 12m 44s
[test] Don't require math-comp to run the test suite. CI #401: Pull request #399 synchronize by ejgallego
March 20, 2024 17:47 46m 57s remove_mc_test
remove_mc_test
March 20, 2024 17:47 46m 57s
[test] Don't require math-comp to run the test suite. CI #400: Pull request #399 opened by ejgallego
March 20, 2024 17:46 32m 2s remove_mc_test
remove_mc_test
March 20, 2024 17:46 32m 2s
[serlib] Fix TODO / bug in primitive code. CI #399: Pull request #398 synchronize by ejgallego
March 20, 2024 17:34 31m 10s fix_cprimitive
fix_cprimitive
March 20, 2024 17:34 31m 10s
[serlib] Fix TODO / bug in primitive code. CI #398: Pull request #398 opened by ejgallego
March 20, 2024 15:19 30m 23s fix_cprimitive
fix_cprimitive
March 20, 2024 15:19 30m 23s
[doc] Fix headers for some new recent files. CI #397: Commit 7d74a8a pushed by ejgallego
March 5, 2024 01:12 13m 51s main
main
March 5, 2024 01:12 13m 51s
Merge pull request #394 from SkySkimmer/less-ltac-plugin CI #396: Commit 341ca2e pushed by ejgallego
February 28, 2024 13:45 13m 8s main
main
February 28, 2024 13:45 13m 8s
Adapt to coq/coq#18719 (stricter type for vernac_argument extend) CI #395: Pull request #394 opened by SkySkimmer
February 27, 2024 15:47 12m 29s SkySkimmer:less-ltac-plugin
SkySkimmer:less-ltac-plugin
February 27, 2024 15:47 12m 29s
Merge pull request #393 from ppedrot/opacify-vmlibrary CI #394: Commit de954b7 pushed by ejgallego
February 26, 2024 15:49 12m 37s main
main
February 26, 2024 15:49 12m 37s