Using the rocq-coinduction library
#23
LysxiaAnnotations
19 warnings
|
build (coqorg/coq:8.14)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (coqorg/coq:8.16)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (coqorg/coq:8.17)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (coqorg/coq:8.19)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (coqorg/coq:8.20)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (coqorg/coq:8.18)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (coqorg/coq:8.15)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (rocq/rocq-prover:9.0)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (rocq/rocq-prover:dev)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (rocq/rocq-prover:dev):
theories/Basics/CategoryOps.v#L255
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (rocq/rocq-prover:dev):
theories/Basics/CategoryOps.v#L254
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (rocq/rocq-prover:dev):
theories/Basics/CategoryOps.v#L253
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (rocq/rocq-prover:dev):
theories/Basics/CategoryOps.v#L252
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (rocq/rocq-prover:dev):
theories/Basics/CategoryOps.v#L251
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (rocq/rocq-prover:dev):
theories/Basics/CategoryOps.v#L250
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (rocq/rocq-prover:dev):
theories/Basics/CategoryOps.v#L249
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (rocq/rocq-prover:dev):
theories/Basics/CategoryOps.v#L79
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (rocq/rocq-prover:dev):
theories/Basics/CategoryOps.v#L62
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (rocq/rocq-prover:dev):
theories/Basics/Basics.v#L47
Use of "Notation" keyword for abbreviations is deprecated, use
|