Skip to content

Actions: rocq-community/paramcoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to rocq-prover/rocq#21175 (pass gref to assumptions traversal) Docker CI #138: Pull request #141 opened by SkySkimmer
2m 3s SkySkimmer:ass-lab
SkySkimmer:ass-lab
2m 3s
Fix some relevances. Docker CI #137: Commit 35d7505 pushed by ppedrot
5m 20s master
master
5m 20s
Merge pull request #139 from Yann-Leray/einstance Docker CI #136: Commit bf03406 pushed by ppedrot
2m 5s master
master
2m 5s
Adapt to rocq-prover/rocq#21097 (Use einstance everywhere) Docker CI #135: Pull request #139 opened by yannl35133
2m 6s Yann-Leray:einstance
Yann-Leray:einstance
2m 6s
Merge pull request #137 from LeoAlexElouan/clarify-bound-names Docker CI #134: Commit 937537d pushed by SkySkimmer
2m 15s master
master
2m 15s
adapt to rocq-prover/rocq#20496 (changed bound_names) Docker CI #133: Pull request #137 opened by LeoAlexElouan
1m 51s LeoAlexElouan:clarify-bound-names
LeoAlexElouan:clarify-bound-names
1m 51s
Merge pull request #128 from SkySkimmer/ltacX-obligations Docker CI #132: Commit 3301779 pushed by ppedrot
2m 2s master
master
2m 2s
Add deprecation notice Docker CI #131: Commit 8b8afda pushed by proux01
2m 11s master
master
2m 11s
Add deprecation notice Docker CI #130: Commit 6c98491 pushed by proux01
21s v9.0
v9.0
21s
Merge pull request #135 from ppedrot/rm-tc-evd-hook Docker CI #129: Commit 7677ccf pushed by ppedrot
2m 16s master
master
2m 16s
Adapt w.r.t. coq/coq#20278. Docker CI #128: Pull request #135 synchronize by ppedrot
2m 9s ppedrot:rm-tc-evd-hook
ppedrot:rm-tc-evd-hook
2m 9s
Merge pull request #136 from ppedrot/fix-docker-rocq Docker CI #127: Commit edf36fd pushed by ppedrot
2m 18s master
master
2m 18s
Use the new Docker repository for Rocq. Docker CI #126: Pull request #136 opened by ppedrot
2m 10s ppedrot:fix-docker-rocq
ppedrot:fix-docker-rocq
2m 10s
Adapt w.r.t. coq/coq#20278. Docker CI #125: Pull request #135 opened by ppedrot
18s ppedrot:rm-tc-evd-hook
ppedrot:rm-tc-evd-hook
18s
Merge pull request #134 from SkySkimmer/template-entry-qvar Docker CI #124: Commit c0bb832 pushed by ppedrot
18s master
master
18s
Adapt to coq/coq#20178 (kernel template data has qvars) Docker CI #123: Pull request #134 opened by SkySkimmer
17s SkySkimmer:template-entry-qvar
SkySkimmer:template-entry-qvar
17s
Merge pull request #133 from SkySkimmer/cominductive-lbound Docker CI #122: Commit aac0331 pushed by ppedrot
2m 16s master
master
2m 16s
Adapt to coq/coq#19985 (template poly has pseudo sort poly) Docker CI #121: Pull request #133 opened by SkySkimmer
5m 6s SkySkimmer:cominductive-lbound
SkySkimmer:cominductive-lbound
5m 6s
Merge pull request #132 from ppedrot/module-remove-modpath Docker CI #120: Commit 9c5fd9f pushed by ppedrot
5m 3s master
master
5m 3s
Adapt w.r.t. coq/coq#20060. Docker CI #119: Pull request #132 opened by ppedrot
5m 5s ppedrot:module-remove-modpath
ppedrot:module-remove-modpath
5m 5s
Merge pull request #131 from ppedrot/module-abstract-type Docker CI #118: Commit 3562200 pushed by SkySkimmer
5m 8s master
master
5m 8s
Adapt w.r.t. coq/coq#19995. Docker CI #117: Pull request #131 opened by ppedrot
5m 1s ppedrot:module-abstract-type
ppedrot:module-abstract-type
5m 1s
Merge pull request #130 from ppedrot/module-expr-type-gadt Docker CI #116: Commit 32609ca pushed by SkySkimmer
2m 16s master
master
2m 16s
Adapt w.r.t. coq/coq#19943. Docker CI #115: Pull request #130 opened by ppedrot
2m 17s ppedrot:module-expr-type-gadt
ppedrot:module-expr-type-gadt
2m 17s
Adapt to coq/coq#19690 (generic_tactic avoids dependency on ltac(?)) Docker CI #114: Pull request #128 opened by SkySkimmer
2m 13s SkySkimmer:ltacX-obligations
SkySkimmer:ltacX-obligations
2m 13s