Skip to content
Back to pull request #248

Passes 3214–3225: all-194 runtime, quotient ROM, proof roots, and finite-port cohomology #131

Sign in to view logs

Passes 3214–3225: all-194 runtime, quotient ROM, proof roots, and finite-port cohomology

Passes 3214–3225: all-194 runtime, quotient ROM, proof roots, and finite-port cohomology #131

Annotations

1 error and 1 warning

frozen-and-pair-obstruction

frozen-and-pair-obstruction
failed Aug 4, 2026 in 40s