Skip to content

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Sep 15, 2025

Coming soon: The Renovate bot (GitHub App) will be renamed to Mend. PRs from Renovate will soon appear from 'Mend'. Learn more here.

This PR contains the following updates:

Package Type Update Change
lockFileMaintenance All locks refreshed
mypy tool.uv.sources patch release-1.18 -> v1.18.1

🔧 This Pull Request updates lock files to use the latest dependency versions.


Release Notes

python/mypy (mypy)

v1.18.1

Compare Source


Configuration

📅 Schedule: Branch creation - "before 4am on monday" in timezone Europe/London, Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate bot added the dependencies Pull requests that update a dependency file label Sep 15, 2025
@renovate renovate bot requested a review from CarrotManMatt as a code owner September 15, 2025 01:00
CarrotManMatt
CarrotManMatt previously approved these changes Sep 15, 2025
@CarrotManMatt
Copy link
Owner

CarrotManMatt commented Sep 15, 2025

Awaiting release of mypy 1.18.2 due to crash resulting in exit code 139.

Fix for python/mypy#19836 merged in python/mypy#19845.

@renovate renovate bot changed the title Lock file maintenance Lock file maintenance pep621 Sep 16, 2025
@renovate renovate bot force-pushed the renovate/pep621 branch 2 times, most recently from 7e1e4d7 to fe408ac Compare September 16, 2025 18:28
@CarrotManMatt CarrotManMatt added the wontfix This will not be worked on label Sep 16, 2025
@CarrotManMatt CarrotManMatt deleted the renovate/pep621 branch September 16, 2025 18:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file wontfix This will not be worked on

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants