Skip to content
E2E + Readiness + Bench

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths #420

Sign in to view logs

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths #420

Triggered via pull request November 9, 2026 15:49
@hyperpolymathhyperpolymath
stacked #279
claude/abi-idris2-gate
Status Success
Total duration 45m 0s
Artifacts 2

e2e.yml

on: pull_request
E2E — VeriSimDB Integration
1m 34s
E2E — VeriSimDB Integration
E2E — Full Scan Pipeline
2m 14s
E2E — Full Scan Pipeline
Readiness — Component Grade Verification
28s
Readiness — Component Grade Verification
Bench — Scan Performance
3m 55s
Bench — Scan Performance
Fit to window
Zoom out
Zoom in

Annotations

4 notices
E2E — VeriSimDB Integration
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
E2E — Full Scan Pipeline
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Readiness — Component Grade Verification
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Bench — Scan Performance
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

Artifacts

Produced during runtime
Name Size Digest
benchmark-results
7.85 KB
sha256:7f2c75e25561aae201addb612054e64c452940d21da066ba743f217f62848314
e2e-scan-results
39 KB
sha256:0499a72280cf2fc7423f19e245f7718f472099618528a28dd9f5cf9f0ffd8e86