Skip to content

Fix the runtime faults the first complete statistics CI run exposed #752

Fix the runtime faults the first complete statistics CI run exposed

Fix the runtime faults the first complete statistics CI run exposed #752

Triggered via pull request October 23, 2026 22:41
Status Success
Total duration 35m 32s
Artifacts 2

ci.yml

on: pull_request
Code relevance
8s
Code relevance
Occupancy relevance
10s
Occupancy relevance
Statistics standards and evidence
11m 17s
Statistics standards and evidence
Agda proofs
45s
Agda proofs
Occupancy typed peak
3m 55s
Occupancy typed peak
Occupancy disagreement test
5s
Occupancy disagreement test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings and 2 notices
Statistics standards and evidence
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, actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. 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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
ijson-jcs (report-only)
ijson-jcs: 10 file(s) checked, 3 canonical, 7 not canonical, 0 invalid; 0 JSONC carve-out(s) skipped. Fix with: ijson-jcs fix <file>
ijson-jcs (report-only)
ijson-jcs: 1 file(s) checked, 1 canonical, 0 not canonical, 0 invalid; 0 JSONC carve-out(s) skipped. Fix with: ijson-jcs fix <file>

Artifacts

Produced during runtime
Name Size Digest
statistics-standards
28.1 KB
sha256:93c711d8884c66c283af8eae9a0dee412a71aa16ecf2b98ccc286802fda7ed3d
validated-statistics-benchmark
1 KB
sha256:f68cbe3ef6af99b57d87365274a7dd7d2d129fe54ea77ff4cf0e53d815127999