Skip to content
Docker CI

Docker CI #35

Sign in to view logs

Docker CI

Docker CI #35

Triggered via schedule November 19, 2024 08:14
@tchajedtchajed
⁠ e053c97
main
Status Failure
Total duration 2m 25s
Artifacts –

docker-action.yml

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

Annotations

7 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