docs(ordinal): record the doubled-ladder Gate 1 closure in the obstruction note #708
agda.yml
on: pull_request
check
1m 57s
cold-check
10m 25s