Skip to content
Agda

docs(ledger): record BH ε-number climb arc (rungs 2 → 3.1 → φ₁) #786

Sign in to view logs

docs(ledger): record BH ε-number climb arc (rungs 2 → 3.1 → φ₁)

docs(ledger): record BH ε-number climb arc (rungs 2 → 3.1 → φ₁) #786

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
24m 48s
check
14m 51s
39m 39s