Skip to content
E2E + Readiness + Bench

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #424

Sign in to view logs

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #424

Triggered via pull request November 9, 2026 22:49
@hyperpolymathhyperpolymath
synchronize #281
claude/gallant-bell-4bo4oy-n-idris-abi-ci
Status Success
Total duration 4m 56s
Artifacts 2

e2e.yml

on: pull_request
E2E — VeriSimDB Integration
1m 30s
E2E — VeriSimDB Integration
E2E — Full Scan Pipeline
2m 31s
E2E — Full Scan Pipeline
Readiness — Component Grade Verification
33s
Readiness — Component Grade Verification
Bench — Scan Performance
4m 29s
Bench — Scan Performance
Fit to window
Zoom out
Zoom in

Annotations

4 notices
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"
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"
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"
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.82 KB
sha256:4041990b50d8f13ef5ba2bbb6a1fbb3b8b88913391cf421eb541bc2d9ebb5510
e2e-scan-results
38.9 KB
sha256:2f5f3e1f540a87157fd1b0fe1fcbdcc8efb4d166832e7c32b70f8dd003eb07d3