Skip to content
CI

chore(deps): bump actions/checkout from 4.4.0 to 7.0.1 #703

Sign in to view logs

chore(deps): bump actions/checkout from 4.4.0 to 7.0.1

chore(deps): bump actions/checkout from 4.4.0 to 7.0.1 #703

Triggered via pull request October 23, 2026 17:58
@hyperpolymathhyperpolymath
synchronize #250
dependabot/github_actions/actions/checkout-7.0.1
Status Success
Total duration 31m 25s
Artifacts 1

ci.yml

on: pull_request
Code relevance
8s
Code relevance
Occupancy relevance
10s
Occupancy relevance
Julia tests
29m 50s
Julia tests
Agda proofs
45s
Agda proofs
Occupancy typed peak
4m 54s
Occupancy typed peak
Occupancy disagreement test
2s
Occupancy disagreement test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
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/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
1023 Bytes
sha256:55a3a98d418460cc00ab819022c6a1081230631366553780b89eb553646824ef