Skip to content
Idris2 Proof

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

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) #2

Triggered via pull request July 21, 2026 06:36
@hyperpolymathhyperpolymath
synchronize #12
feat/mvp-kernel-phases-2-4
Status Success
Total duration 52m 17s
Artifacts –

idris2-proof.yml

on: pull_request
idris2-check
8m 12s
idris2-check
Fit to window
Zoom out
Zoom in