Skip to content

Actions: coq-community/paramcoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #133 from SkySkimmer/cominductive-lbound Docker CI #122: Commit aac0331 pushed by ppedrot
January 23, 2025 09:59 2m 16s master
master
January 23, 2025 09:59 2m 16s
Adapt to coq/coq#19985 (template poly has pseudo sort poly) Docker CI #121: Pull request #133 opened by SkySkimmer
January 17, 2025 15:34 5m 6s SkySkimmer:cominductive-lbound
SkySkimmer:cominductive-lbound
January 17, 2025 15:34 5m 6s
Merge pull request #132 from ppedrot/module-remove-modpath Docker CI #120: Commit 9c5fd9f pushed by ppedrot
January 15, 2025 14:46 5m 3s master
master
January 15, 2025 14:46 5m 3s
Adapt w.r.t. coq/coq#20060. Docker CI #119: Pull request #132 opened by ppedrot
January 15, 2025 14:07 5m 5s ppedrot:module-remove-modpath
ppedrot:module-remove-modpath
January 15, 2025 14:07 5m 5s
Merge pull request #131 from ppedrot/module-abstract-type Docker CI #118: Commit 3562200 pushed by SkySkimmer
January 15, 2025 13:30 5m 8s master
master
January 15, 2025 13:30 5m 8s
Adapt w.r.t. coq/coq#19995. Docker CI #117: Pull request #131 opened by ppedrot
January 9, 2025 08:34 5m 1s ppedrot:module-abstract-type
ppedrot:module-abstract-type
January 9, 2025 08:34 5m 1s
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