Bump etc/coq-scripts from 5876e80 to 857071d
#227
Annotations
12 warnings
|
Set up job
Failed to download action 'https://api.github.com/repos/coq-community/docker-coq-action/tarball/56a68e27536b87fb8d04e132c155b8bd144e6a1e'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
Set up job
Back off 25.942 seconds before retry.
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L11
There is no flag or option with this name: "Template Check".
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L29
There is no flag or option with this name:
|
|
all:
src/Parsers/StringLike/Core.v#L47
Declaring a scope implicitly is deprecated; use in advance an
|
|
all:
src/Parsers/ExtrOcamlPrimitives.v#L17
Declaring a scope implicitly is deprecated; use in advance an
|
|
all:
src/Computation/Notations.v#L20
Declaring a scope implicitly is deprecated; use in advance an
|
|
all:
src/Common/BoolFacts.v#L11
Declaring a scope implicitly is deprecated; use in advance an
|
|
all:
src/Common/Le.v#L91
Tactic omega is deprecated since 8.12.
|
|
all:
src/Common/Le.v#L94
Tactic omega is deprecated since 8.12.
|
|
all:
src/Common/Le.v#L97
Tactic omega is deprecated since 8.12.
|
|
all:
src/Common/Le.v#L100
Tactic omega is deprecated since 8.12.
|
Loading