Build status of main checked

The GitHub build of main is green again. The two red runs on November 6 came from a DNS failure on the macOS Intel runner and from two timing tests that went over their limits once on CI; the runs after them passed with the same tests. The commits not yet pushed pass the type check and all 2035 tests locally.