Skip to content

ci: pin ruff to 0.15.20#6

Merged
hherb merged 1 commit into
mainfrom
ci/pin-ruff
Jul 2, 2026
Merged

ci: pin ruff to 0.15.20#6
hherb merged 1 commit into
mainfrom
ci/pin-ruff

Conversation

@hherb

@hherb hherb commented Jul 2, 2026

Copy link
Copy Markdown
Owner

The lint job installed ruff with pip install --upgrade ruff, so any ruff release that changes formatting rules would break CI on files a PR never touched (this nearly happened on #5, where local and CI ruff versions already disagreed about 31 files before the repo-wide reformat in #4).

Pin to 0.15.20, verified format- and lint-clean against current main (ruff format --check . → 68 files already formatted; ruff check . → all checks passed). The workflow comment documents the bump procedure: install the new version and reformat in the same commit.

🤖 Generated with Claude Code

"pip install --upgrade ruff" made the lint job non-deterministic: a
ruff release with new formatting rules would fail CI on files a PR
never touched. Pin the version CI has been green with (0.15.20 is
format- and lint-clean on current main) and bump it deliberately,
reformatting in the same commit.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@hherb hherb merged commit 7b9061b into main Jul 2, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant