Skip to content
Agda

fix(governance): document Fidelity postulates for the Trusted-base reduction policy #730

Sign in to view logs

fix(governance): document Fidelity postulates for the Trusted-base reduction policy

fix(governance): document Fidelity postulates for the Trusted-base reduction policy #730

Triggered via pull request June 14, 2026 14:15
@hyperpolymathhyperpolymath
opened #219
claude/quirky-gauss-GaGZo
Status Success
Total duration 11m 22s
Artifacts –

agda.yml

on: pull_request
check
1m 49s
check
cold-check
11m 18s
cold-check
Fit to window
Zoom out
Zoom in