chore: upgrade to TeX Live 2026

1d9e150

Select commit

Loading

Failed to load commit list.

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

Continuous Integration on: pull_request

Build and test

Check for trailing newlines on: pull_request

Check text files have trailing newlines

Lint GitHub Actions workflows on: pull_request

Lint GitHub Actions workflows

Check copyright header and Lean import size

All test modules imported on: pull_request

Check all test modules are imported

No #eval in source files on: pull_request

Check no #eval in source files

Consistent SubVerso dependencies on: pull_request

SubVerso version consistency

Check toolchain file on: pull_request

Check for "nightly" in lean-toolchain

check-prettier-formatting

Check PR title follows commit convention on: pull_request

PR title follows commit convention

Loading