counter example #218
KaptchAnnotations
12 warnings
|
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@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build (coqorg/coq:8.20):
theories/gitree/weakestpre.v#L1330
Discarding format implicitly indicated by multiple spaces in
|
|
build (coqorg/coq:8.20):
theories/gitree/weakestpre.v#L1330
Discarding format implicitly indicated by multiple spaces in
|
|
build (coqorg/coq:8.20):
theories/gitree/weakestpre.v#L511
Discarding format implicitly indicated by multiple spaces in
|
|
build (coqorg/coq:8.20):
theories/gitree/weakestpre.v#L511
Discarding format implicitly indicated by multiple spaces in
|
|
build (coqorg/coq:8.20):
theories/gitree/weakestpre.v#L511
Discarding format implicitly indicated by multiple spaces in
|
|
build (coqorg/coq:8.20):
theories/gitree/weakestpre.v#L511
Discarding format implicitly indicated by multiple spaces in
|
|
build (coqorg/coq:8.20):
theories/gitree/weakestpre.v#L507
Discarding format implicitly indicated by multiple spaces in
|
|
build (coqorg/coq:8.20):
theories/gitree/weakestpre.v#L507
Discarding format implicitly indicated by multiple spaces in
|
|
build (coqorg/coq:8.20):
theories/gitree/weakestpre.v#L271
Ignoring implicit binder declaration in unexpected position.
|
|
build (coqorg/coq:8.20):
theories/examples/heap_lang/lang.v#L563
Unused introduction pattern: _
|
|
build_nix
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/
|