Skip to content

Actions: coq-community/paramcoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #130 from ppedrot/module-expr-type-gadt Docker CI #116: Commit 32609ca pushed by SkySkimmer
December 19, 2024 10:19 2m 16s master
master
December 19, 2024 10:19 2m 16s
Adapt w.r.t. coq/coq#19943. Docker CI #115: Pull request #130 opened by ppedrot
December 17, 2024 14:26 2m 17s ppedrot:module-expr-type-gadt
ppedrot:module-expr-type-gadt
December 17, 2024 14:26 2m 17s
Adapt to coq/coq#19690 (generic_tactic avoids dependency on ltac(?)) Docker CI #114: Pull request #128 opened by SkySkimmer
October 15, 2024 10:06 2m 13s SkySkimmer:ltacX-obligations
SkySkimmer:ltacX-obligations
October 15, 2024 10:06 2m 13s
Merge pull request #127 from coq-community/stdlib_repo Docker CI #113: Commit 992c3a5 pushed by proux01
September 17, 2024 11:26 2m 43s master
master
September 17, 2024 11:26 2m 43s
Adapt to https://github.com/coq/coq/pull/19530 Docker CI #112: Pull request #127 opened by proux01
September 17, 2024 09:59 2m 43s stdlib_repo
stdlib_repo
September 17, 2024 09:59 2m 43s
Merge pull request #126 from SkySkimmer/template-univs-dupl Docker CI #111: Commit 5e9bbe7 pushed by ppedrot
June 28, 2024 10:10 1m 52s master
master
June 28, 2024 10:10 1m 52s
Adapt to coq/coq#19233 (template_universes don't duplicate level data) Docker CI #110: Pull request #126 opened by SkySkimmer
June 27, 2024 12:58 1m 56s SkySkimmer:template-univs-dupl
SkySkimmer:template-univs-dupl
June 27, 2024 12:58 1m 56s
Merge pull request #125 from ppedrot/template-linear-levels Docker CI #109: Commit 66fd506 pushed by proux01
June 24, 2024 11:52 2m 11s master
master
June 24, 2024 11:52 2m 11s
Work around the non-linearity of template parameter levels. Docker CI #108: Pull request #125 synchronize by ppedrot
June 24, 2024 11:49 2m 10s ppedrot:template-linear-levels
ppedrot:template-linear-levels
June 24, 2024 11:49 2m 10s
Work around the non-linearity of template parameter levels. Docker CI #107: Pull request #125 opened by ppedrot
June 24, 2024 11:49 2m 15s ppedrot:template-linear-levels
ppedrot:template-linear-levels
June 24, 2024 11:49 2m 15s
Adapt to Coq 8.20 Docker CI #106: Commit f703183 pushed by proux01
June 20, 2024 07:52 22s v8.20
v8.20
June 20, 2024 07:52 22s
Merge pull request #124 from ppedrot/case-info-rm-tags Docker CI #105: Commit 7db5cb1 pushed by SkySkimmer
May 13, 2024 13:11 1m 58s master
master
May 13, 2024 13:11 1m 58s
Adapt w.r.t. coq/coq#18996. Docker CI #104: Pull request #124 opened by ppedrot
May 3, 2024 08:00 1m 57s ppedrot:case-info-rm-tags
ppedrot:case-info-rm-tags
May 3, 2024 08:00 1m 57s
Merge pull request #123 from SkySkimmer/erelevance Docker CI #103: Commit 0e58667 pushed by ppedrot
April 23, 2024 17:16 1m 59s master
master
April 23, 2024 17:16 1m 59s
Adapt to coq/coq#18938 (EConstr.ERelevance) Docker CI #102: Pull request #123 opened by SkySkimmer
April 17, 2024 12:00 1m 54s SkySkimmer:erelevance
SkySkimmer:erelevance
April 17, 2024 12:00 1m 54s
Merge pull request #122 from ppedrot/econstr-inductiveops-api Docker CI #101: Commit a31475c pushed by SkySkimmer
April 16, 2024 11:05 1m 55s master
master
April 16, 2024 11:05 1m 55s
Adapt w.r.t. coq/coq#18935. Docker CI #100: Pull request #122 opened by ppedrot
April 16, 2024 06:54 1m 57s ppedrot:econstr-inductiveops-api
ppedrot:econstr-inductiveops-api
April 16, 2024 06:54 1m 57s
Merge pull request #121 from SkySkimmer/indirect Docker CI #99: Commit 4eba947 pushed by ppedrot
April 7, 2024 10:29 1m 54s master
master
April 7, 2024 10:29 1m 54s
Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) Docker CI #98: Pull request #121 opened by SkySkimmer
March 22, 2024 13:22 2m 1s SkySkimmer:indirect
SkySkimmer:indirect
March 22, 2024 13:22 2m 1s
Merge pull request #119 from SkySkimmer/temrops-use-evd Docker CI #97: Commit 5b5ac50 pushed by ppedrot
February 4, 2024 11:12 1m 44s master
master
February 4, 2024 11:12 1m 44s
Adapt to coq/coq#18603 (print_rel_context takes evar map) Docker CI #96: Pull request #119 opened by SkySkimmer
February 2, 2024 12:35 1m 47s SkySkimmer:temrops-use-evd
SkySkimmer:temrops-use-evd
February 2, 2024 12:35 1m 47s
Adapt to Coq 8.19 Docker CI #95: Commit de92ae5 pushed by proux01
December 19, 2023 09:39 21s v8.19
v8.19
December 19, 2023 09:39 21s
Merge pull request #118 from SkySkimmer/ci-relevance Docker CI #94: Commit a61b1b3 pushed by ppedrot
November 13, 2023 14:54 2m 0s master
master
November 13, 2023 14:54 2m 0s
Adapt to coq/coq#18280 (case relevance outside case info) Docker CI #93: Pull request #118 opened by SkySkimmer
November 9, 2023 15:46 2m 2s SkySkimmer:ci-relevance
SkySkimmer:ci-relevance
November 9, 2023 15:46 2m 2s
Merge pull request #117 from coq-community/fix-doi Docker CI #92: Commit ec8ad23 pushed by proux01
November 8, 2023 16:35 2m 55s master
master
November 8, 2023 16:35 2m 55s