Skip to content
Code Coverage

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

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 #392

Triggered via pull request June 2, 2026 17:22
@hyperpolymathhyperpolymath
opened #111
proofs/layer-1-0-strip-idempotence
Status Failure
Total duration 3m 38s
Artifacts –

coverage.yml

on: pull_request
Generate Coverage Report
3m 32s
Generate Coverage Report
Fit to window
Zoom out
Zoom in

Annotations

1 error
Generate Coverage Report
Process completed with exit code 101.