Skip to content
CI

chore(deps): bump codecov/codecov-action from 7.0.0 to 7.1.1 #705

Sign in to view logs

chore(deps): bump codecov/codecov-action from 7.0.0 to 7.1.1

chore(deps): bump codecov/codecov-action from 7.0.0 to 7.1.1 #705

Triggered via pull request October 23, 2026 17:58
@hyperpolymathhyperpolymath
synchronize #253
dependabot/github_actions/codecov/codecov-action-7.1.1
Status Success
Total duration 31m 15s
Artifacts 1

ci.yml

on: pull_request
Code relevance
12s
Code relevance
Occupancy relevance
7s
Occupancy relevance
Julia tests
30m 19s
Julia tests
Agda proofs
43s
Agda proofs
Occupancy typed peak
5m 21s
Occupancy typed peak
Occupancy disagreement test
3s
Occupancy disagreement test
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Occupancy relevance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Code relevance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Agda proofs
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Occupancy typed peak
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Julia tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@0057852bfaa89a56745cba8c7296529d2fc39830, actions/cache/save@0057852bfaa89a56745cba8c7296529d2fc39830, actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830, actions/checkout@11d5960a326750d5838078e36cf38b85af677262, actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. 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
validated-statistics-benchmark
1020 Bytes
sha256:a6c6656ad9fa44c4ee78d2f0b4291f8d88cf8ba9a4510905a446975fdfc911cf