Skip to content

Adapt to rocq-prover/rocq#21773 (sort poly cumulativity)#1250

Draft
SkySkimmer wants to merge 2 commits into
MetaRocq:mainfrom
SkySkimmer:cumul-sort-poly
Draft

Adapt to rocq-prover/rocq#21773 (sort poly cumulativity)#1250
SkySkimmer wants to merge 2 commits into
MetaRocq:mainfrom
SkySkimmer:cumul-sort-poly

Fix ast_quoter: mind_entry_variance is MetaRocq AST type, not Rocq ke…

aefa053
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.