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

Add deprecation notice Docker CI #131: Commit 8b8afda pushed by proux01
February 25, 2025 11:49 2m 11s master
master
February 25, 2025 11:49 2m 11s
Add deprecation notice Docker CI #130: Commit 6c98491 pushed by proux01
February 25, 2025 11:45 21s v9.0
v9.0
February 25, 2025 11:45 21s
Merge pull request #135 from ppedrot/rm-tc-evd-hook Docker CI #129: Commit 7677ccf pushed by ppedrot
February 21, 2025 21:59 2m 16s master
master
February 21, 2025 21:59 2m 16s
Adapt w.r.t. coq/coq#20278. Docker CI #128: Pull request #135 synchronize by ppedrot
February 21, 2025 19:12 2m 9s ppedrot:rm-tc-evd-hook
ppedrot:rm-tc-evd-hook
February 21, 2025 19:12 2m 9s
Merge pull request #136 from ppedrot/fix-docker-rocq Docker CI #127: Commit edf36fd pushed by ppedrot
February 21, 2025 19:11 2m 18s master
master
February 21, 2025 19:11 2m 18s
Use the new Docker repository for Rocq. Docker CI #126: Pull request #136 opened by ppedrot
February 21, 2025 19:09 2m 10s ppedrot:fix-docker-rocq
ppedrot:fix-docker-rocq
February 21, 2025 19:09 2m 10s
Adapt w.r.t. coq/coq#20278. Docker CI #125: Pull request #135 opened by ppedrot
February 21, 2025 19:00 18s ppedrot:rm-tc-evd-hook
ppedrot:rm-tc-evd-hook
February 21, 2025 19:00 18s
Merge pull request #134 from SkySkimmer/template-entry-qvar Docker CI #124: Commit c0bb832 pushed by ppedrot
February 6, 2025 15:05 18s master
master
February 6, 2025 15:05 18s
Adapt to coq/coq#20178 (kernel template data has qvars) Docker CI #123: Pull request #134 opened by SkySkimmer
February 5, 2025 13:52 17s SkySkimmer:template-entry-qvar
SkySkimmer:template-entry-qvar
February 5, 2025 13:52 17s
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