aggregate: ingest proven-tests JSON run reports (new input kind) #186
e2e.yml
on: pull_request
E2E — VeriSimDB Integration
1m 9s
E2E — Full Scan Pipeline
1m 8s
Readiness — Component Grade Verification
1m 9s
Bench — Scan Performance
1m 9s
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
|