Replace the float assumptions in experimental/epic by a separate lemma #2676
Triggered via pull request
September 4, 2026 20:07
jcp19
Status
Success
Total duration
1h 22m 59s
Artifacts
1
gobra.yml
on: pull_request
verify-third-party-libs
2m 7s
verify-deps
15m 46s
verify-router
1h 22m
Annotations
3 warnings
|
verify-third-party-libs
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
verify-deps
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
verify-router
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
stats_addr.json
|
13.2 KB |
sha256:f5bd74bf0451f4538128e3efa17bfad68d57f3f2d11def1a8b9bb90770fef4f8
|
|