Skip to content
Docker CI

Docker CI #475

Sign in to view logs

Docker CI

Docker CI #475

Triggered via schedule May 17, 2023 05:10
@palmskogpalmskog
⁠ d62fa8f
master
Status Failure
Total duration 21m 20s
Artifacts –

docker-action.yml

on: schedule
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 20 warnings
build (mathcomp/mathcomp-dev:coq-dev): theories/color.v#L3
Cannot find a physical path bound to logical path
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/color.v#L217
Notation "[ eqType of _ ]" is deprecated since mathcomp 2.0.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/walkup.v#L54
Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/dedekind.v#L153
Notation ltr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/dedekind.v#L153
Notation ltr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/dedekind.v#L153
Notation ltr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/dedekind.v#L276
Notation gtr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/dedekind.v#L276
Notation gtr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/dedekind.v#L276
Notation gtr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/dedekind.v#L279
Notation ltr_opp2 is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/dedekind.v#L279
Notation ltr_opp2 is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/color.v#L217
Notation "[ eqType of _ ]" is deprecated since mathcomp 2.0.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/walkup.v#L54
Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/dedekind.v#L153
Notation ltr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/dedekind.v#L153
Notation ltr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/dedekind.v#L153
Notation ltr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/dedekind.v#L276
Notation gtr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/dedekind.v#L276
Notation gtr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/dedekind.v#L276
Notation gtr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/dedekind.v#L279
Notation ltr_opp2 is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/dedekind.v#L279
Notation ltr_opp2 is deprecated since mathcomp 1.17.0.