Removing the _CoqProject compile option -notation-incompatible-prefix #710
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Docker-Coq-Action
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
Docker-Coq-Action
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
Docker-Coq-Action
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
Docker-Coq-Action
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
Docker-Coq-Action
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
Docker-Coq-Action
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
Docker-Coq-Action
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
Docker-Coq-Action
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
Docker-Coq-Action
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
Docker-Coq-Action
Notations "[ _ ; _ ] ▹ _" defined at level 70 and "[ ]"
|
Loading