update tested #357
Annotations
10 warnings
|
Run coq-community/docker-coq-action@v1
Notations "_ <| _ ; _ ; .. ; _ ::= _ |>" defined at level 12
|
|
Run coq-community/docker-coq-action@v1
Notations "_ <| _ ; _ ; .. ; _ ::= _ |>" defined at level 12
|
|
Run coq-community/docker-coq-action@v1
"From Coq" has been replaced by "From Stdlib".
|
|
Run coq-community/docker-coq-action@v1
"From Coq" has been replaced by "From Stdlib".
|
|
Run coq-community/docker-coq-action@v1
Notation Zmod is deprecated since 8.17.
|
|
Run coq-community/docker-coq-action@v1
Notation Zmod is deprecated since 8.17.
|
|
Run coq-community/docker-coq-action@v1
Notation Zmod is deprecated since 8.17.
|
|
Run coq-community/docker-coq-action@v1
Notation Zmod is deprecated since 8.17.
|
|
Run coq-community/docker-coq-action@v1
Notation Zmod is deprecated since 8.17.
|
|
Run coq-community/docker-coq-action@v1
Notation Zmod is deprecated since 8.17.
|
Loading