Skip to content
Idris2 Verification Build

proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure #26

Sign in to view logs

proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure

proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure #26

Triggered via pull request June 2, 2026 22:56
@hyperpolymathhyperpolymath
opened #133
proofs/q1-c-pilot-primitive-eq-axioms
Status Success
Total duration 30s
Artifacts –

idris-verification.yml

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