Adapt to coq/coq#20132 (new_evar needs a relevance) #630
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Docker-Coq-Action:
theories/Init.v#L11
"coq-core" has been renamed to "rocq-runtime".
|
|
Docker-Coq-Action:
theories/Type/Relation_Properties.v#L40
Notations "_ * _" defined at level 40 with arguments constr
|
|
Docker-Coq-Action:
theories/Prop/NoConfusion.v#L14
Loading Stdlib without prefix is deprecated.
|
|
Docker-Coq-Action:
theories/Prop/NoConfusion.v#L14
Loading Stdlib without prefix is deprecated.
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
|
Docker-Coq-Action
Loading Stdlib without prefix is deprecated.
|
|
Docker-Coq-Action
Using Vector.t is known to be technically difficult, see
|
|
Docker-Coq-Action
Loading Stdlib without prefix is deprecated.
|
|
Docker-Coq-Action
Loading Stdlib without prefix is deprecated.
|
|
Docker-Coq-Action
Loading Stdlib without prefix is deprecated.
|
Loading