Skip to content

aggregate: ingest proven-tests JSON run reports (new input kind) #186

aggregate: ingest proven-tests JSON run reports (new input kind)

aggregate: ingest proven-tests JSON run reports (new input kind) #186

Triggered via pull request July 3, 2026 01:41
Status Cancelled
Total duration 1m 10s
Artifacts

e2e.yml

on: pull_request
E2E — VeriSimDB Integration
1m 9s
E2E — VeriSimDB Integration
E2E — Full Scan Pipeline
1m 8s
E2E — Full Scan Pipeline
Readiness — Component Grade Verification
1m 9s
Readiness — Component Grade Verification
Bench — Scan Performance
1m 9s
Bench — Scan Performance
Fit to window
Zoom out
Zoom in

Annotations

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