Skip to content
Docker CI

Docker CI #467

Sign in to view logs

Docker CI

Docker CI #467

Triggered via schedule May 11, 2023 05:10
@palmskogpalmskog
⁠ e831b0b
master
Status Success
Total duration 39m 28s
Artifacts –

docker-action.yml

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

Annotations

58 warnings
build (mathcomp/mathcomp-dev:coq-dev): theories/dedekind.v#L153
Notation ltr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/dedekind.v#L153
Notation ltr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/dedekind.v#L153
Notation ltr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/walkup.v#L56
z'G' is declared opaque but this is not fully respected inside the
build (mathcomp/mathcomp-dev:coq-dev): theories/dedekind.v#L276
Notation gtr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/dedekind.v#L276
Notation gtr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/dedekind.v#L276
Notation gtr_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/dedekind.v#L279
Notation ltr_opp2 is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/dedekind.v#L279
Notation ltr_opp2 is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/dedekind.v#L279
Notation ltr_opp2 is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:1.16.0-coq-8.17): theories/part.v#L168
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.17): theories/part.v#L169
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.17): theories/part.v#L170
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.17): theories/part.v#L171
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.17): theories/part.v#L178
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.17): theories/part.v#L179
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.17): theories/part.v#L180
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.17): theories/part.v#L181
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.16): theories/part.v#L168
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.16): theories/part.v#L169
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.16): theories/part.v#L170
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.16): theories/part.v#L171
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.16): theories/part.v#L178
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.16): theories/part.v#L179
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.16): theories/part.v#L180
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.16): theories/part.v#L181
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.16): theories/part.v#L168
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.16): theories/part.v#L169
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.16): theories/part.v#L170
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.16): theories/part.v#L171
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.16): theories/part.v#L178
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.16): theories/part.v#L179
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.16): theories/part.v#L180
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.16): theories/part.v#L181
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.14.0-coq-8.15): theories/part.v#L168
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.14.0-coq-8.15): theories/part.v#L169
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.14.0-coq-8.15): theories/part.v#L170
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.14.0-coq-8.15): theories/part.v#L171
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.14.0-coq-8.15): theories/part.v#L178
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.14.0-coq-8.15): theories/part.v#L179
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.14.0-coq-8.15): theories/part.v#L180
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.14.0-coq-8.15): theories/part.v#L181
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.15): theories/part.v#L168
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.15): theories/part.v#L169
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.15): theories/part.v#L170
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.15): theories/part.v#L171
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.15): theories/part.v#L178
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.15): theories/part.v#L179
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.15): theories/part.v#L180
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.16.0-coq-8.15): theories/part.v#L181
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.15): theories/part.v#L168
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.15): theories/part.v#L169
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.15): theories/part.v#L170
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.15): theories/part.v#L171
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.15): theories/part.v#L178
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.15): theories/part.v#L179
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.15): theories/part.v#L180
Notations for numbers are primitive; skipping this modifier.
build (mathcomp/mathcomp:1.15.0-coq-8.15): theories/part.v#L181
Notations for numbers are primitive; skipping this modifier.