Skip to content

Actions: rocq-community/paramcoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #158 from ppedrot/summary-abstract-ref Docker CI #185: Commit b5e02c8 pushed by SkySkimmer
2m 16s master
master
2m 16s
Adapt to rocq-prover/rocq#22372. Docker CI #184: Pull request #158 opened by ppedrot
2m 16s ppedrot:summary-abstract-ref
ppedrot:summary-abstract-ref
2m 16s
Adapt to rocq-prover/rocq#22166 (opaque_proofterm carries an impredicative-Set usage bit) Docker CI #183: Pull request #157 opened by JasonGross
1m 54s JasonGross:print-assumptions-fine-grained
JasonGross:print-assumptions-fine-grained
1m 54s
Merge pull request #156 from ppedrot/kernel-abstract-univ-inductive Docker CI #182: Commit eba83b1 pushed by SkySkimmer
1m 59s master
master
1m 59s
Adapt to rocq-prover/rocq#22070. Docker CI #181: Pull request #156 opened by ppedrot
5m 14s ppedrot:kernel-abstract-univ-inductive
ppedrot:kernel-abstract-univ-inductive
5m 14s
Merge pull request #155 from proux01/rocq21852 Docker CI #180: Commit d931120 pushed by proux01
2m 33s master
master
2m 33s
Adapt to https://github.com/rocq-prover/rocq/pull/21851 Docker CI #179: Pull request #155 opened by proux01
2m 18s proux01:rocq21852
proux01:rocq21852
2m 18s
Merge pull request #154 from rocq-community/rocq21852 Docker CI #178: Commit 1af01c4 pushed by proux01
2m 23s master
master
2m 23s
Adapt to https://github.com/rocq-prover/rocq/pull/21852 Docker CI #177: Pull request #154 opened by proux01
2m 31s rocq21852
rocq21852
2m 31s
Minor cleanup in evarmap reference passing. Docker CI #176: Commit a9f0edc pushed by ppedrot
2m 22s master
master
2m 22s
Stop passing the accessor via a functor in Parametricity. Docker CI #175: Commit af61c97 pushed by ppedrot
2m 9s master
master
2m 9s
Merge pull request #152 from SkySkimmer/qglobal-not-qvar Docker CI #174: Commit a3f1438 pushed by ppedrot
2m 1s master
master
2m 1s
Correctly thread the parametric environment in (co)fixpoints. Docker CI #173: Commit ccfdcbd pushed by ppedrot
2m 14s master
master
2m 14s
Some factorization around translation of contexts. Docker CI #172: Commit 1844e4e pushed by ppedrot
2m 23s master
master
2m 23s
Expose the parametricity translation through a wrapper. Docker CI #171: Commit 33782a9 pushed by ppedrot
2m 27s master
master
2m 27s
Minor cleanups. Docker CI #170: Commit 1187188 pushed by ppedrot
2m 27s master
master
2m 27s
Stop implicitly translating unregistered constants in translation. Docker CI #169: Commit b930935 pushed by ppedrot
2m 7s master
master
2m 7s
Remove legacy code for back and forth translation betwee context repr… Docker CI #168: Commit 25768e2 pushed by ppedrot
2m 25s master
master
2m 25s
Fix deprecation warnings. Docker CI #167: Commit 8b430d6 pushed by ppedrot
2m 25s master
master
2m 25s
Crude fix for Parametricity tests. Docker CI #166: Commit b242a31 pushed by ppedrot
2m 5s master
master
2m 5s
Adapt to rocq-prover/rocq#21767 (qglobal is not qvar) Docker CI #165: Pull request #152 synchronize by SkySkimmer
2m 10s SkySkimmer:qglobal-not-qvar
SkySkimmer:qglobal-not-qvar
2m 10s
Remove bits of dead code. Docker CI #164: Commit f47eedc pushed by ppedrot
2m 25s master
master
2m 25s
Add some reasonable mli API. Docker CI #163: Commit c834128 pushed by ppedrot
2m 33s master
master
2m 33s
Properly wrap unification error messages for user display. Docker CI #162: Commit d48bbe4 pushed by ppedrot
2m 24s master
master
2m 24s
Merge pull request #153 from rocq-community/relax-constraint Docker CI #161: Commit b6575dc pushed by ppedrot
2m 20s master
master
2m 20s