Skip to content
E2E + Readiness + Bench

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test #175

Sign in to view logs

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test #175

Triggered via pull request June 24, 2026 11:25
@hyperpolymathhyperpolymath
opened #138
feat/aggregate-idris2-fixture
Status Cancelled
Total duration 3m 40s
Artifacts 2

e2e.yml

on: pull_request
E2E — VeriSimDB Integration
2m 40s
E2E — VeriSimDB Integration
E2E — Full Scan Pipeline
2m 31s
E2E — Full Scan Pipeline
Readiness — Component Grade Verification
41s
Readiness — Component Grade Verification
Bench — Scan Performance
3m 35s
Bench — Scan Performance
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 4 warnings
E2E + Readiness + Bench
Canceling since a higher priority waiting request for e2e-refs/pull/138/merge exists
Bench — Scan Performance
Canceling since a higher priority waiting request for e2e-refs/pull/138/merge exists
Bench — Scan Performance
The operation was canceled.
Readiness — Component Grade Verification
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5, Swatinem/rust-cache@779680da715d629ac1d338a641029a2f4372abb5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
E2E — Full Scan Pipeline
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5, actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02, Swatinem/rust-cache@779680da715d629ac1d338a641029a2f4372abb5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
E2E — VeriSimDB Integration
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5, Swatinem/rust-cache@779680da715d629ac1d338a641029a2f4372abb5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Bench — Scan Performance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5, actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02, Swatinem/rust-cache@779680da715d629ac1d338a641029a2f4372abb5. 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
benchmark-results Expired
7.25 KB
sha256:1831809109b5b4b7557f0d4195e887c4727f1e1ecb8e2cf0ef373be2bdaf6bec
e2e-scan-results Expired
8.63 KB
sha256:f05a08abe5a3b338ed3eb7571ac61cb9cf19ed678019f8b36c24302d4d7b34dc