Repository navigation

Install Lint and the documentation build from uv.lock - #2394

Merged

MaxGhenis merged 3 commits into

mainfrom

ci-lint-docs-from-lock

Oct 24, 2026

Merged

Install Lint and the documentation build from uv.lock#2394
MaxGhenis merged 3 commits into
mainfrom
ci-lint-docs-from-lock

Commits on Oct 13, 2026
- Install Lint and the documentation build from uv.lock
  
  MaxGhenis
  and
  claude
  committed
  2aa36ec
- Fail Lint clearly unless the lock pins exactly one ruff
  
  MaxGhenis
  and
  claude
  committed
  9d55a5c
Commits on Oct 23, 2026
- Merge origin/main into ci-lint-docs-from-lock
  MaxGhenis
  committed
  11e835f