Skip to content

chore: update mypy, mypy-zope, and pydantic#691

Merged
glevco merged 1 commit intomasterfrom
chore/update-dependencies
Jul 11, 2023
Merged

chore: update mypy, mypy-zope, and pydantic#691
glevco merged 1 commit intomasterfrom
chore/update-dependencies

Conversation

@glevco
Copy link
Contributor

@glevco glevco commented Jul 10, 2023

Motivation

Update typing-related dependencies to increase robustness, especially mypy-zope that has reached 1.0.0.

Note: pydantic has reached 2.0 but has breaking changes and requires a manual code migration, so I only updated it to 1.x.x. I suggest we wait a few months before making the change, so more people are using it.

Acceptance Criteria

  • Update mypy
  • Update mypy-zope
  • Update pydantic

Checklist

  • If you are requesting a merge into master, confirm this code is production-ready and can be included in future releases as soon as it gets merged

@glevco glevco added the dependencies Pull requests that update a dependency file label Jul 10, 2023
@glevco glevco self-assigned this Jul 10, 2023
@codecov
Copy link

codecov bot commented Jul 10, 2023

Codecov Report

Merging #691 (fa781e4) into master (c84ca8b) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #691   +/-   ##
=======================================
  Coverage   84.12%   84.12%           
=======================================
  Files         246      246           
  Lines       20446    20446           
  Branches     2759     2759           
=======================================
  Hits        17200    17200           
  Misses       2673     2673           
  Partials      573      573           

see 2 files with indirect coverage changes

@glevco glevco marked this pull request as ready for review July 10, 2023 22:48
@glevco glevco requested review from jansegre and msbrogli as code owners July 10, 2023 22:48
@glevco glevco merged commit 0dd129d into master Jul 11, 2023
@glevco glevco deleted the chore/update-dependencies branch July 11, 2023 20:02
@jansegre jansegre mentioned this pull request Jul 12, 2023
2 tasks
This was referenced Aug 2, 2023
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

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants