Docker CI

Fix Coq CI #22

Sign in to view logs

Annotations

9 warnings

theories/JSON.v#L8

"From Coq" has been replaced by "From Stdlib".

theories/Printer.v#L3

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

Coq.extraction has been replaced by Stdlib.extraction.

Coq.Lists has been replaced by Stdlib.Lists.

Coq.PArith has been replaced by Stdlib.PArith.

Coq.NArith has been replaced by Stdlib.NArith.

theories/Decode.v#L1

"From Coq" has been replaced by "From Stdlib".

This job succeeded