Skip to content
E2E + Readiness + Bench

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma #153

Sign in to view logs

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma #153

Run time

Learn about OS pricing on GitHub Actions
Job Run time
E2E — VeriSimDB Integration
2m 32s
E2E — Full Scan Pipeline
2m 29s
Bench — Scan Performance
1m 29s
Readiness — Component Grade Verification
37s
7m 7s