Skip to content
Idris2 Verification Build

proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax… #64

Sign in to view logs

proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax…

proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax… #64

Triggered via push July 1, 2026 12:23
@hyperpolymathhyperpolymath
pushed 2ea4ba5
main
Status Success
Total duration 22s
Artifacts –

idris-verification.yml

on: push
verify-idris2 (Idris2 build oracle)
17s
verify-idris2 (Idris2 build oracle)
Fit to window
Zoom out
Zoom in