fix: catch Verso elab failures and log instead of rethrowing

23677ae

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Clean Dependabot PR descriptions on: pull_request

clean-description

actionlint

Check for copyright header and too-big Lean imports on: pull_request 1

Check copyright header and Lean import size

Continuous Integration on: pull_request

Build and test

Release note required on: pull_request 3

Check the PR has a release note

All test modules imported on: pull_request 1

Check all test modules are imported

Check for trailing newlines on: pull_request 1

Check text files have trailing newlines

No #eval in source files on: pull_request 1

Check no #eval in source files

Check Code Formatting on: pull_request 2

check-prettier-formatting

check-python-formatting

Check PR title follows commit convention on: pull_request 1

PR title follows commit convention

Consistent subproject dependencies on: pull_request 1

SubVerso version consistency

Check toolchain file on: pull_request 1

Check for "nightly" in lean-toolchain

Lint GitHub Actions workflows on: pull_request 1

Lint GitHub Actions workflows

No tracked ignored files on: pull_request 1

Check no tracked file matches .gitignore

Release note required on: pull_request 1

Check the PR has a release note

Check PR title follows commit convention on: pull_request 1

PR title follows commit convention