Idris2 Verification Build

proofs(idris2): Q5 option 3 — propositional Equiv migration (closes equivTrans) #53

Sign in to view logs

Triggered via pull request June 5, 2026 03:07

synchronize #136

proofs/q5-propositional-equiv-restructure

Status Success

Total duration 1m 26s

Artifacts –

idris-verification.yml

on: pull_request

verify-idris2 (Idris2 build oracle)