Skip to content
E2E + Readiness + Bench

fix(assail): null-check-aware UncheckedAllocation + precise eval dete… #173

Sign in to view logs

fix(assail): null-check-aware UncheckedAllocation + precise eval dete…

fix(assail): null-check-aware UncheckedAllocation + precise eval dete… #173

Triggered via push June 24, 2026 08:40
@hyperpolymathhyperpolymath
pushed 60d9219
main
Status Success
Total duration 4m 49s
Artifacts 2

e2e.yml

on: push
E2E — VeriSimDB Integration
2m 29s
E2E — VeriSimDB Integration
E2E — Full Scan Pipeline
2m 21s
E2E — Full Scan Pipeline
Readiness — Component Grade Verification
25s
Readiness — Component Grade Verification
Bench — Scan Performance
4m 44s
Bench — Scan Performance
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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.45 KB
sha256:895b729d09e2537ec90d3134c74a3c42ffdaf97332fd05353059088430080d71
e2e-scan-results Expired
8.54 KB
sha256:ca619319906181910d0eb252b08e236e0642f0d0e2ae075f61afb0a3e282ffb3