Docker CI #36
Annotations
4 warnings
|
Run coq-community/docker-coq-action@v1:
src/DivMod.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
Run coq-community/docker-coq-action@v1:
src/Function.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
Run coq-community/docker-coq-action@v1:
src/DivMod.v#L2
"From Coq" has been replaced by "From Stdlib".
|
|
Run coq-community/docker-coq-action@v1:
src/IntroPatterns.v#L1
Coq.Lists.List has been replaced by Stdlib.Lists.List.
|
Loading