Back to pull request #113570

refactor proof tree formatting #96160

Sign in to view logs

Annotations

5 errors

unexpected closing delimiter: `}`

this file contains an unclosed delimiter

unexpected closing delimiter: `}`

mismatched closing delimiter: `}`

unexpected `if` in the condition expression

The logs for this run have expired and are no longer available.