Skip to content
Mirror to GitLab and Bitbucket

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) #136

Sign in to view logs

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken)

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) #136

Triggered via push April 17, 2026 16:36
@hyperpolymathhyperpolymath
pushed 0abfd40
main
Status Skipped
Total duration 1s
Artifacts –

mirror.yml

on: push
Mirror repositories
Mirror repositories
Fit to window
Zoom out
Zoom in