Skip to content
Idris2 Verification Build

proofs(idris2): close 3 Cat-A RMO non-theorem holes (#119B) — RMO.idr at zero holes #28

Sign in to view logs

proofs(idris2): close 3 Cat-A RMO non-theorem holes (#119B) — RMO.idr at zero holes

proofs(idris2): close 3 Cat-A RMO non-theorem holes (#119B) — RMO.idr at zero holes #28

Triggered via pull request June 2, 2026 23:23
@hyperpolymathhyperpolymath
opened #134
proofs/idris2-cat-a-rmo-redesigns-119B
Status Success
Total duration 23s
Artifacts –

idris-verification.yml

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