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 #374 from SkySkimmer/sort-poly-ind CI #344: Commit 5174bf6 pushed by ppedrot
November 29, 2023 18:45 12m 24s main
main
November 29, 2023 18:45 12m 24s
Support the extraction plugin CI #343: Pull request #375 synchronize by toku-sa-n
November 29, 2023 01:59 12m 4s toku-sa-n:support-extraction
toku-sa-n:support-extraction
November 29, 2023 01:59 12m 4s
Adapt to coq/coq#18331 (sort poly inductives) CI #341: Pull request #374 opened by SkySkimmer
November 27, 2023 09:59 12m 2s SkySkimmer:sort-poly-ind
SkySkimmer:sort-poly-ind
November 27, 2023 09:59 12m 2s
Adapt w.r.t. coq/coq#18345. CI #340: Pull request #372 opened by ppedrot
November 23, 2023 08:28 12m 24s ppedrot:harden-vernacextend-naming
ppedrot:harden-vernacextend-naming
November 23, 2023 08:28 12m 24s
Merge pull request #370 from ppedrot/detuplify-impargs CI #339: Commit 307889d pushed by SkySkimmer
November 16, 2023 14:23 12m 22s main
main
November 16, 2023 14:23 12m 22s
Adapt w.r.t. coq/coq#18312. CI #338: Pull request #370 opened by ppedrot
November 15, 2023 11:26 14m 22s ppedrot:detuplify-impargs
ppedrot:detuplify-impargs
November 15, 2023 11:26 14m 22s
Merge pull request #359 from SkySkimmer/pattern-quotations CI #337: Commit fd9d22d pushed by ppedrot
November 15, 2023 11:02 15m 19s main
main
November 15, 2023 11:02 15m 19s
Merge pull request #368 from SkySkimmer/ci-relevance CI #336: Commit 2597276 pushed by ppedrot
November 13, 2023 14:55 17m 59s main
main
November 13, 2023 14:55 17m 59s
Merge pull request #369 from ppedrot/glob-evar-kinds CI #335: Commit 5bd7b61 pushed by SkySkimmer
November 13, 2023 13:05 19m 56s main
main
November 13, 2023 13:05 19m 56s
Adapt w.r.t. coq/coq#18294. CI #334: Pull request #369 opened by ppedrot
November 10, 2023 16:00 18m 30s ppedrot:glob-evar-kinds
ppedrot:glob-evar-kinds
November 10, 2023 16:00 18m 30s
Merge pull request #366 from proux01/coq_14928 CI #333: Commit 0fa1c72 pushed by ppedrot
November 10, 2023 08:23 18m 20s main
main
November 10, 2023 08:23 18m 20s
Adapt to coq/coq#18280 (case relevance outside case info) CI #332: Pull request #368 opened by SkySkimmer
November 9, 2023 15:49 14m 57s SkySkimmer:ci-relevance
SkySkimmer:ci-relevance
November 9, 2023 15:49 14m 57s
Merge pull request #358 from SkySkimmer/sort-poly CI #331: Commit 4bbd657 pushed by ppedrot
November 6, 2023 20:49 17m 59s main
main
November 6, 2023 20:49 17m 59s
Adapt to https://github.com/coq/coq/pull/14928 CI #330: Pull request #366 opened by proux01
October 30, 2023 13:07 17m 37s proux01:coq_14928
proux01:coq_14928
October 30, 2023 13:07 17m 37s
Merge pull request #360 from SkySkimmer/redexpr CI #329: Commit 3673c01 pushed by ejgallego
October 25, 2023 18:04 19m 58s main
main
October 25, 2023 18:04 19m 58s
Merge pull request #365 from ejgallego/purge-deprecated-arith CI #328: Commit e0a79cd pushed by palmskog
October 18, 2023 14:53 24m 54s main
main
October 18, 2023 14:53 24m 54s
remove all references to deprecated Arith modules from genarg tests CI #327: Pull request #365 opened by palmskog
October 18, 2023 14:21 29m 3s purge-deprecated-arith
purge-deprecated-arith
October 18, 2023 14:21 29m 3s
Merge pull request #363 from LasseBlaauwbroek/remove-complete CI #326: Commit 7d9e619 pushed by SkySkimmer
October 5, 2023 08:22 23m 38s main
main
October 5, 2023 08:22 23m 38s
Adapt w.r.t coq/coq#18124 (Remove the TacComplete AST) CI #325: Pull request #363 opened by LasseBlaauwbroek
October 4, 2023 11:38 22m 56s LasseBlaauwbroek:remove-complete
LasseBlaauwbroek:remove-complete
October 4, 2023 11:38 22m 56s
[doc] [license] Improve licensing situation. CI #324: Pull request #361 synchronize by ejgallego
September 29, 2023 17:55 23m 45s licensing_fixes
licensing_fixes
September 29, 2023 17:55 23m 45s
[faq] Small update to FAQ CI #323: Commit 1b603b3 pushed by ejgallego
September 29, 2023 17:50 20m 0s main
main
September 29, 2023 17:50 20m 0s
Merge pull request #362 from ejgallego/jsrem CI #322: Commit 5069eb5 pushed by ejgallego
September 29, 2023 17:41 19m 17s main
main
September 29, 2023 17:41 19m 17s
[general] Cleanup old unused code. CI #321: Pull request #362 synchronize by ejgallego
September 29, 2023 16:10 17m 41s jsrem
jsrem
September 29, 2023 16:10 17m 41s
[general] Cleanup old unused code. CI #320: Pull request #362 opened by ejgallego
September 29, 2023 15:47 19m 28s jsrem
jsrem
September 29, 2023 15:47 19m 28s
[doc] [license] Improve licensing situation. CI #319: Pull request #361 opened by ejgallego
September 29, 2023 15:47 18m 11s licensing_fixes
licensing_fixes
September 29, 2023 15:47 18m 11s