Skip to content
Docker CI

Docker CI #36

Sign in to view logs

Docker CI

Docker CI #36

Triggered via schedule November 26, 2024 08:15
@tchajedtchajed
⁠ e053c97
main
Status Failure
Total duration 2m 22s
Artifacts –

docker-action.yml

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

Annotations

4 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.