Skip to content
Docker CI

Dunify #21

Sign in to view logs

Dunify

Dunify #21

Re-run triggered October 9, 2024 13:30
@liyishuailiyishuai
b5a494f
master
Status Success
Total duration 6m 27s
Artifacts –

docker-action.yml

on: push
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".