Docker CI · coq-community/coq-tricks@e053c97

Triggered via schedule October 22, 2024 08:14

tchajed

main

Status Success

Total duration 2m 31s

Artifacts –

docker-action.yml

on: schedule

Matrix: build

9 warnings

build (coqorg/coq:dev): src/DivMod.v#L1

"From Coq" has been replaced by "From Stdlib".

build (coqorg/coq:dev): src/Function.v#L1

"From Coq" has been replaced by "From Stdlib".

build (coqorg/coq:dev): src/DivMod.v#L2

"From Coq" has been replaced by "From Stdlib".

build (coqorg/coq:dev): src/IntroPatterns.v#L1

Coq.Lists.List has been replaced by Stdlib.Lists.List.

build (coqorg/coq:dev): src/NotationModule.v#L1

"From Coq" has been replaced by "From Stdlib".

build (coqorg/coq:dev): src/NotationModule.v#L31

Notations "_ [ _ := _ ]" defined at level 10 with arguments constr

build (coqorg/coq:dev): src/NotationModule.v#L35

Notations "_ [ _ := _ ]" defined at level 10 with arguments constr

build (coqorg/coq:dev): src/RewNotation.v#L4

Alternatives to Fin.t are available, see

build (coqorg/coq:dev): src/TacticNotationOptionalParams.v#L23

"From Coq" has been replaced by "From Stdlib".