Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(deps): update dependency mypy to v1.10.1 #1049

Closed
wants to merge 1 commit into from

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Jun 28, 2024

Mend Renovate

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
mypy (source, changelog) 1.10.0 -> 1.10.1 age adoption passing confidence

Release Notes

python/mypy (mypy)

v1.10.1

Compare Source


Configuration

📅 Schedule: Branch creation - "after 5pm on friday" (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

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

🔕 Ignore: Close this PR and you won't be reminded about this update again.


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

This PR has been generated by Mend Renovate. View repository job log here.

@renovate renovate bot added the dependencies Issues and PRs related to dependency management label Jun 28, 2024
@renovate renovate bot enabled auto-merge (rebase) June 28, 2024 19:44
@gforsyth gforsyth closed this Jun 28, 2024
auto-merge was automatically disabled June 28, 2024 23:10

Pull request was closed

Copy link
Contributor Author

renovate bot commented Jun 29, 2024

Renovate Ignore Notification

Because you closed this PR without merging, Renovate will ignore this update (^1.3). You will get a PR once a newer version is released. To ignore this dependency forever, add it to the ignoreDeps array of your Renovate config.

If you accidentally closed this PR, or if you changed your mind: rename this PR to get a fresh replacement PR.

@renovate renovate bot deleted the renovate/mypy-1.x-lockfile branch June 29, 2024 00:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Issues and PRs related to dependency management
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant