Skip to content

Pin ruff to 0.16.2 in dev extra and CI lint job - #18

Merged
maish merged 1 commit into
mainfrom
pin-ruff
Aug 13, 2026
Merged

Pin ruff to 0.16.2 in dev extra and CI lint job#18
maish merged 1 commit into
mainfrom
pin-ruff

Conversation

@maish

@maish maish commented Aug 13, 2026

Copy link
Copy Markdown
Collaborator

Unpinned ruff>=0.6 meant every new ruff release could change format output and break the lint check on untouched files — exactly what happened on the 0.4.4 release PR when ruff 0.16 started formatting markdown code blocks. Pin the exact version in both the dev extra and the CI lint job (kept in sync by comment), making the CI comment's claim that local and CI share one version actually true.

🤖 Generated with Claude Code

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@maish
maish merged commit 491def1 into main Aug 13, 2026
10 checks passed
@maish
maish deleted the pin-ruff branch August 13, 2026 04:52
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