adapt boilerplate for Coq 8.20 #40
palmskogAnnotations
11 warnings
|
build (coqorg/coq:8.20)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (coqorg/coq:8.20):
theories/MxGraph.v#L67
Notations "_ == _" defined at level 70 with arguments constr
|
|
build (coqorg/coq:8.20):
theories/MxSemiLattice.v#L14
Notations "_ == _" defined at level 70 with arguments constr
|
|
build (coqorg/coq:8.20):
theories/MxSemiLattice.v#L47
Notations "_ <== _" defined at level 70 with arguments constr
|
|
build (coqorg/coq:8.20):
theories/MxSemiRing.v#L17
Notations "_ == _" defined at level 70 with arguments constr
|
|
build (coqorg/coq:8.20):
theories/MxSemiRing.v#L18
Notations "_ <== _" defined at level 70 with arguments constr
|
|
build (coqorg/coq:8.20):
theories/Model_Languages.v#L13
Notations "_ == _" defined at level 70 with arguments constr
|
|
build (coqorg/coq:8.20):
theories/Model_RegExp.v#L27
Notations "_ == _" defined at level 70 with arguments constr
|
|
build (coqorg/coq:8.20):
theories/MxKleeneAlgebra.v#L18
Notations "_ == _" defined at level 70 with arguments constr
|
|
build (coqorg/coq:8.20):
theories/MxKleeneAlgebra.v#L19
Notations "_ <== _" defined at level 70 with arguments constr
|
|
build (coqorg/coq:8.20):
theories/MxFunctors.v#L17
Notations "_ == _" defined at level 70 with arguments constr
|