Skip to content
Docker CI

Fix Coq CI #22

Sign in to view logs

Fix Coq CI

Fix Coq CI #22

Triggered via pull request October 11, 2024 08:47
@proux01proux01
opened #9
proux01:coq_fix_ci
Status Success
Total duration 6m 16s
Artifacts –

docker-action.yml

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

Annotations

9 warnings
build (coqorg/coq:dev): theories/JSON.v#L8
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): theories/Printer.v#L3
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev)
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev)
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev)
Coq.extraction has been replaced by Stdlib.extraction.
build (coqorg/coq:dev)
Coq.Lists has been replaced by Stdlib.Lists.
build (coqorg/coq:dev)
Coq.PArith has been replaced by Stdlib.PArith.
build (coqorg/coq:dev)
Coq.NArith has been replaced by Stdlib.NArith.
build (coqorg/coq:dev): theories/Decode.v#L1
"From Coq" has been replaced by "From Stdlib".