fix: label external declaration sections without h1

b841694

Select commit

Loading

Failed to load commit list.

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

Check copyright header and Lean import size

Consistent subproject dependencies on: pull_request

SubVerso version consistency

Check Code Formatting on: pull_request

check-prettier-formatting

check-python-formatting

Check toolchain file on: pull_request

Check for "nightly" in lean-toolchain

Lint GitHub Actions workflows on: pull_request

Lint GitHub Actions workflows

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

Continuous Integration on: pull_request

Build and test

Check for trailing newlines on: pull_request

Check text files have trailing newlines

Check copyright header and Lean import size

succeeded Jun 29, 2026 in 6s

Loading