silence "From Coq" warning #2876
Annotations
2 errors and 4 warnings
|
|
|
Run coq-community/docker-coq-action@v1
The operation was canceled.
|
|
Run coq-community/docker-coq-action@v1
Could not find a terminator for warning:
File "./contrib/SetoidRewrite.v", line 13, characters 0-55:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-8.21,deprecated,default]
|
|
Run coq-community/docker-coq-action@v1:
contrib/SetoidRewrite.v#L13
"From Coq" has been replaced by "From Stdlib".
|
|
Run coq-community/docker-coq-action@v1
Could not find a terminator for warning:
File "./contrib/SetoidRewrite.v", line 17, characters 0-57:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-8.21,deprecated,default]
|
|
Run coq-community/docker-coq-action@v1:
contrib/SetoidRewrite.v#L17
"From Coq" has been replaced by "From Stdlib".
|
Loading