Skip to content

chore: sync uv.lock to the already-declared black/mypy/pylint/pytest floors - #11

Merged
guidodinello merged 1 commit into
mainfrom
chore/pin-dev-tool-versions
Aug 18, 2026
Merged

chore: sync uv.lock to the already-declared black/mypy/pylint/pytest floors#11
guidodinello merged 1 commit into
mainfrom
chore/pin-dev-tool-versions

Conversation

@guidodinello

Copy link
Copy Markdown
Owner

Summary

pyproject.toml's dev floors (black>=26.5.1, mypy>=2.3.0, pylint>=4.0.7, pytest>=9.1.1) were already bumped past what uv.lock had actually resolved — black wasn't even in the lock, mypy was at 1.15.0, pylint at 3.3.6, pytest at 8.3.5. The lock was just never regenerated after the floors were raised. Same silent-drift risk the ruff incident surfaced (PENDING.md), just not hit yet since nothing had re-locked.

Verified

  • make format-check, make lint (ruff + mypy + pylint), make test all pass clean at the new locked versions — unlike ruff, no new issues surfaced

🤖 Generated with Claude Code

…floors

pyproject.toml's dev floors (black>=26.5.1, mypy>=2.3.0, pylint>=4.0.7,
pytest>=9.1.1) were already bumped past what uv.lock had actually resolved
(black wasn't even locked, mypy 1.15.0, pylint 3.3.6, pytest 8.3.5) — the
lock was just never regenerated after the floors were raised, so `uv sync`
alone wouldn't have caught it (only `uv pip install -e ".[dev]"`, matching
CI, actually re-resolves against the declared floors).

Same silent-drift risk the ruff incident surfaced, just not hit yet since
nothing had re-locked. Unlike ruff, no new lint/type errors surfaced at the
current floor versions — format-check, lint (ruff+mypy+pylint), and test
all pass clean.
Copilot AI lite review requested due to automatic review settings August 18, 2026 00:51

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.


💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@guidodinello
guidodinello merged commit 8d55260 into main Aug 18, 2026
2 checks passed
@guidodinello
guidodinello deleted the chore/pin-dev-tool-versions branch August 18, 2026 00:53
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.

2 participants