Bump etc/coq-scripts from 8ce1d5d
to 8b66ebe
#130
Triggered via pull request
September 12, 2023 11:18
Status
Success
Total duration
11m 21s
Artifacts
–
Annotations
10 warnings
build:
src/Common/Coq__8_4__8_5__Compat.v#L12
There is no flag or option with this name: "Template Check".
|
build:
src/Common/Coq__8_4__8_5__Compat.v#L30
There is no flag or option with this name:
|
build:
src/Common/Coq__8_4__8_5__Compat.v#L31
There is no flag or option with this name: "Apply With Renaming".
|
build:
src/Parsers/StringLike/Core.v#L21
A coercion will be introduced instead of an instance in future
|
build:
src/Parsers/StringLike/Core.v#L47
Declaring a scope implicitly is deprecated; use in advance an
|
build:
src/Parsers/StringLike/Core.v#L107
A coercion will be introduced instead of an instance in future
|
build:
src/Computation/Decidable.v#L153
Notation beq_nat is deprecated since 8.16. Use Nat.eqb instead.
|
build:
src/Computation/Decidable.v#L155
Notation beq_nat_true_iff is deprecated since 8.16.
|
build:
src/Computation/Decidable.v#L155
Notation beq_nat_true_iff is deprecated since 8.16.
|
build:
src/Parsers/ExtrOcamlPrimitives.v#L17
Declaring a scope implicitly is deprecated; use in advance an
|