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

[changes] Release 0.19 CI #371: Commit d9da0c4 pushed by ejgallego
February 4, 2024 19:15 10m 34s v8.19
v8.19
February 4, 2024 19:15 10m 34s
Merge pull request #386 from ejgallego/8_19_bp_release CI #370: Commit 09a8837 pushed by ejgallego
February 4, 2024 19:10 13m 27s v8.19
v8.19
February 4, 2024 19:10 13m 27s
[serlib] Expose some more functions related to Require's AST. CI #369: Pull request #386 opened by ejgallego
February 4, 2024 18:44 13m 24s 8_19_bp_release
8_19_bp_release
February 4, 2024 18:44 13m 24s
Merge pull request #385 from SkySkimmer/ltac2-uncommon CI #368: Commit 1c055b6 pushed by ppedrot
January 24, 2024 08:03 9m 24s main
main
January 24, 2024 08:03 9m 24s
Merge pull request #376 from rlepigre/br/fix-18281 CI #367: Commit 85977ac pushed by ppedrot
January 24, 2024 07:59 11m 36s main
main
January 24, 2024 07:59 11m 36s
Adapt to coq/coq#18528 (profile_ltac moved to engine and renamed profile_tactic) CI #366: Pull request #385 opened by SkySkimmer
January 23, 2024 12:39 11m 39s SkySkimmer:ltac2-uncommon
SkySkimmer:ltac2-uncommon
January 23, 2024 12:39 11m 39s
Merge pull request #384 from ejgallego/ci_dune_unpin CI #365: Commit c520d5e pushed by ejgallego
January 19, 2024 20:59 9m 15s main
main
January 19, 2024 20:59 9m 15s
[ci] Remove obsolete pin on dune for Coq git build CI #364: Pull request #384 opened by ejgallego
January 19, 2024 19:50 16m 53s ci_dune_unpin
ci_dune_unpin
January 19, 2024 19:50 16m 53s
Merge pull request #383 from ejgallego/serlib_vernacrequire CI #363: Commit 90690dc pushed by ejgallego
January 19, 2024 19:48 14m 8s main
main
January 19, 2024 19:48 14m 8s
[doc] [license] Improve licensing situation. CI #362: Pull request #361 synchronize by ejgallego
January 19, 2024 19:47 13m 33s licensing_fixes
licensing_fixes
January 19, 2024 19:47 13m 33s
[serlib] Expose some more functions related to Require's AST. CI #361: Pull request #383 synchronize by ejgallego
January 19, 2024 17:27 10m 54s serlib_vernacrequire
serlib_vernacrequire
January 19, 2024 17:27 10m 54s
[serlib] Expose some more functions related to Require's AST. CI #360: Pull request #383 synchronize by ejgallego
January 19, 2024 16:45 13m 31s serlib_vernacrequire
serlib_vernacrequire
January 19, 2024 16:45 13m 31s
[serlib] Expose some more functions related to Require's AST. CI #359: Pull request #383 opened by ejgallego
January 19, 2024 16:42 12m 49s serlib_vernacrequire
serlib_vernacrequire
January 19, 2024 16:42 12m 49s
Adapt to coq/coq#18352 (ltacX_common_plugin) CI #358: Pull request #381 opened by SkySkimmer
January 17, 2024 14:47 13m 2s SkySkimmer:ltac2-ltac1
SkySkimmer:ltac2-ltac1
January 17, 2024 14:47 13m 2s
Merge pull request #379 from herbelin/main+adapt-coq-pr18129-nested-ind CI #356: Commit 24e853c pushed by ppedrot
January 8, 2024 14:13 9m 40s main
main
January 8, 2024 14:13 9m 40s
Merge pull request #380 from JasonGross/stratfix CI #355: Commit fabd26d pushed by ejgallego
January 6, 2024 09:52 10m 18s main
main
January 6, 2024 09:52 10m 18s
Adapt to coq/coq#18094: rewrite strategies: fix CI #354: Pull request #380 reopened by JasonGross
January 5, 2024 20:31 10m 10s JasonGross:stratfix
JasonGross:stratfix
January 5, 2024 20:31 10m 10s
Adapt to coq/coq#18094: rewrite strategies: fix CI #353: Pull request #380 synchronize by JasonGross
January 4, 2024 13:41 10m 58s JasonGross:stratfix
JasonGross:stratfix
January 4, 2024 13:41 10m 58s
Adapt to coq/coq#18094: rewrite strategies: fix CI #352: Pull request #380 opened by JasonGross
January 4, 2024 00:16 10m 19s JasonGross:stratfix
JasonGross:stratfix
January 4, 2024 00:16 10m 19s
Merge pull request #378 from SkySkimmer/print-relevance CI #351: Commit 0fa9494 pushed by ppedrot
December 29, 2023 16:47 12m 59s main
main
December 29, 2023 16:47 12m 59s
update boilerplate for 8.19 CI #350: Commit a929658 pushed by palmskog
December 27, 2023 18:02 14m 24s v8.19
v8.19
December 27, 2023 18:02 14m 24s
Adapt to #18229: nested_type is now recarg_type (no more "nested" mark) CI #349: Pull request #379 opened by herbelin
December 23, 2023 14:17 12m 54s herbelin:main+adapt-coq-pr18129-nested-ind
herbelin:main+adapt-coq-pr18129-nested-ind
December 23, 2023 14:17 12m 54s
Adapt to coq/coq#18143 (debug printing for relevances) CI #348: Pull request #378 synchronize by SkySkimmer
December 19, 2023 14:59 10m 3s SkySkimmer:print-relevance
SkySkimmer:print-relevance
December 19, 2023 14:59 10m 3s
Adapt to coq/coq#18143 (debug printing for relevances) CI #347: Pull request #378 opened by SkySkimmer
December 15, 2023 13:05 13m 5s SkySkimmer:print-relevance
SkySkimmer:print-relevance
December 15, 2023 13:05 13m 5s
Merge pull request #372 from ppedrot/harden-vernacextend-naming CI #345: Commit ba0bd1d pushed by SkySkimmer
December 4, 2023 12:10 10m 48s main
main
December 4, 2023 12:10 10m 48s