Skip to content
Docker CI

Update CI #48

Sign in to view logs

Update CI

Update CI #48

Triggered via pull request August 28, 2023 13:39
@proux01proux01
opened #56
proux01:ci_update
Status Success
Total duration 43m 24s
Artifacts –

docker-action.yml

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

Annotations

50 warnings
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L84
Notation ler_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L86
Notation ler_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.17): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L84
Notation ler_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L86
Notation ler_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.17): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L84
Notation ler_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L86
Notation ler_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp:2.0.0-coq-8.16): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L84
Notation ler_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L86
Notation ler_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-8.16): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L84
Notation ler_addl is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L86
Notation ler_add is deprecated since mathcomp 1.17.0.
build (mathcomp/mathcomp-dev:coq-dev): theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.