Skip to content
E2E + Readiness + Bench

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) #38

Sign in to view logs

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken)

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) #38

Triggered via push April 17, 2026 16:36
@hyperpolymathhyperpolymath
pushed 0abfd40
main
Status Cancelled
Total duration 8s
Artifacts –

e2e.yml

on: push
E2E — VeriSimDB Integration
7s
E2E — VeriSimDB Integration
E2E — Full Scan Pipeline
7s
E2E — Full Scan Pipeline
Readiness — Component Grade Verification
7s
Readiness — Component Grade Verification
Bench — Scan Performance
7s
Bench — Scan Performance
Fit to window
Zoom out
Zoom in

Annotations

5 errors
E2E — VeriSimDB Integration
Canceling since a higher priority waiting request for e2e-refs/heads/main exists
Readiness — Component Grade Verification
Canceling since a higher priority waiting request for e2e-refs/heads/main exists
Bench — Scan Performance
Canceling since a higher priority waiting request for e2e-refs/heads/main exists
E2E — Full Scan Pipeline
Canceling since a higher priority waiting request for e2e-refs/heads/main exists
E2E + Readiness + Bench
Canceling since a higher priority waiting request for e2e-refs/heads/main exists