Skip to content
This repository has been archived by the owner on Aug 21, 2024. It is now read-only.

Update dependency mypy to ^1.5.1 #718

Merged
merged 1 commit into from
Aug 16, 2023
Merged

Update dependency mypy to ^1.5.1 #718

merged 1 commit into from
Aug 16, 2023

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Aug 16, 2023

Mend Renovate

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
mypy (source, changelog) ^1.5.0 -> ^1.5.1 age adoption passing confidence

Release Notes

python/mypy (mypy)

v1.5.1

Compare Source


Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), 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 enabled auto-merge (rebase) August 16, 2023 18:25
@codecov
Copy link

codecov bot commented Aug 16, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (0008e36) 92.85% compared to head (ab2abef) 92.85%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #718   +/-   ##
=======================================
  Coverage   92.85%   92.85%           
=======================================
  Files           9        9           
  Lines         532      532           
  Branches      110      110           
=======================================
  Hits          494      494           
  Misses         21       21           
  Partials       17       17           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@renovate renovate bot merged commit be9f574 into main Aug 16, 2023
6 checks passed
@major major deleted the renovate/mypy-1.x branch August 16, 2023 20:16
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant