Skip to content
Agda Meta-Checker

chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest #136

Sign in to view logs

chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest

chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest #136

Triggered via pull request August 5, 2026 13:28
@hyperpolymathhyperpolymath
synchronize #344
chore/estate-topup
Status Success
Total duration 56m 41s
Artifacts –

agda-meta-checker.yml

on: pull_request
Type-check Agda proofs
30s
Type-check Agda proofs
Fit to window
Zoom out
Zoom in