Skip to content
CI (Coq, docker, dev)

Adapt w.r.t. coq/coq#17955. #126

Sign in to view logs

Adapt w.r.t. coq/coq#17955.

Adapt w.r.t. coq/coq#17955. #126

Re-run triggered September 5, 2023 13:44
@JasonGrossJasonGross
#93
ppedrot:hint-cut-static-globref
Status Failure
Total duration 5m 56s
Artifacts –

docker-coq.yml

on: pull_request
build
5m 45s
build
Fit to window
Zoom out
Zoom in

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/Computation/Notations.v#L20
Declaring a scope implicitly is deprecated; use in advance an
build: src/Common/BoolFacts.v#L11
Declaring a scope implicitly is deprecated; use in advance an
build: src/Common/Frame.v#L215
Notation Le.le_refl is deprecated since 8.16.
build: src/Common/Frame.v#L215
Notation Le.le_trans is deprecated since 8.16.
build: src/Common/Frame.v#L215
Notation Le.le_refl is deprecated since 8.16.
build: src/Common/Frame.v#L215
Notation Le.le_trans is deprecated since 8.16.
build: src/Common/Frame.v#L285
A coercion will be introduced instead of an instance in future