Skip to content
Idris2 Proof

MVP kernel: L2 grade algebras + L1 graded checker + anytype-specific seam (Phases 2-4) #1

Sign in to view logs

MVP kernel: L2 grade algebras + L1 graded checker + anytype-specific seam (Phases 2-4)

MVP kernel: L2 grade algebras + L1 graded checker + anytype-specific seam (Phases 2-4) #1

Triggered via pull request July 21, 2026 06:35
@hyperpolymathhyperpolymath
opened #12
feat/mvp-kernel-phases-2-4
Status Cancelled
Total duration 47s
Artifacts –

idris2-proof.yml

on: pull_request
idris2-check
46s
idris2-check
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Idris2 Proof
Canceling since a higher priority waiting request for Idris2 Proof-refs/pull/12/merge exists
idris2-check
Canceling since a higher priority waiting request for Idris2 Proof-refs/pull/12/merge exists