Skip to content
CI

chore(deps): bump actions/upload-artifact from 4.6.2 to 7.0.2 #702

Sign in to view logs

chore(deps): bump actions/upload-artifact from 4.6.2 to 7.0.2

chore(deps): bump actions/upload-artifact from 4.6.2 to 7.0.2 #702

Triggered via pull request October 23, 2026 17:58
@hyperpolymathhyperpolymath
synchronize #249
dependabot/github_actions/actions/upload-artifact-7.0.2
Status Success
Total duration 32m 45s
Artifacts 1

ci.yml

on: pull_request
Code relevance
12s
Code relevance
Occupancy relevance
14s
Occupancy relevance
Julia tests
32m 1s
Julia tests
Agda proofs
58s
Agda proofs
Occupancy typed peak
5m 36s
Occupancy typed peak
Occupancy disagreement test
3s
Occupancy disagreement test
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
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/
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/
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. 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
1021 Bytes
sha256:3b28ebe5e3925ce9a0b349c3f559fd7779baaf16358ea21c7aa50aa12341622a