Skip to content
Docker CI

Merge pull request #56 from proux01/ci_update #50

Sign in to view logs

Merge pull request #56 from proux01/ci_update

Merge pull request #56 from proux01/ci_update #50

Triggered via push September 1, 2023 14:13
@CohenCyrilCohenCyril
pushed 2ae79e8
master
Status Success
Total duration 46m 51s
Artifacts –

docker-action.yml

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

Annotations

50 warnings
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-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.
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-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: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.