Skip to content
Proofs Gate

docs(planning): category-leadership programme — beyond completion (#268) #123

Sign in to view logs

docs(planning): category-leadership programme — beyond completion (#268)

docs(planning): category-leadership programme — beyond completion (#268) #123

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Detect relevant changes
6s
Idris2 type-check (core + all cartridge ABIs)
-1s
Trusted-base audit (no new axioms)
-2s
3s