Skip to content
Docker CI

Docker CI #46

Sign in to view logs

Docker CI

Docker CI #46

Triggered via schedule February 4, 2025 08:14
@tchajedtchajed
⁠ e053c97
main
Status Failure
Total duration 1m 58s
Artifacts –

docker-action.yml

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

Annotations

5 warnings
build (coqorg/coq:dev): src/Bidirectional.v#L1
Loading Stdlib without prefix is deprecated.
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
"From Coq" has been replaced by "From Stdlib".