Skip to content

pin ruff and state the lint rules explicitly - #10

Merged
jbloom merged 1 commit into
mainfrom
pin-ruff-and-declare-lint-rules
Aug 20, 2026
Merged

pin ruff and state the lint rules explicitly#10
jbloom merged 1 commit into
mainfrom
pin-ruff-and-declare-lint-rules

Commits

Commits on Aug 20, 2026