chore: re-export Files

b7b752e

Select commit

Loading

Failed to load commit list.

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

Lint GitHub Actions workflows on: pull_request

Lint GitHub Actions workflows

actionlint

Release note required on: pull_request

Check the PR has a release note

Check Code Formatting on: pull_request

check-prettier-formatting

check-python-formatting

Check for trailing newlines on: pull_request

Check text files have trailing newlines

Continuous Integration on: pull_request

Build and test

Check toolchain file on: pull_request

Check for "nightly" in lean-toolchain

All test modules imported on: pull_request

Check all test modules are imported

Check copyright header and Lean import size

Consistent subproject dependencies on: pull_request

SubVerso version consistency

No #eval in source files on: pull_request

Check no #eval in source files

GitHub Actions / actionlint succeeded Aug 18, 2026 in 1s

reviewdog [actionlint] report

reported by reviewdog 🐶

Findings (0)

Filtered Findings (0)

Loading