Skip to content

Upgrade mypy to version 1.7 and fix type issues#13534

Merged
mattpap merged 1 commit into
branch-3.4from
mattpap/13533_mypy_1.7.0
Nov 17, 2023
Merged

Upgrade mypy to version 1.7 and fix type issues#13534
mattpap merged 1 commit into
branch-3.4from
mattpap/13533_mypy_1.7.0

Conversation

@mattpap

@mattpap mattpap commented Nov 16, 2023

Copy link
Copy Markdown
Contributor

fixes #13533

@mattpap mattpap added this to the 3.4 milestone Nov 16, 2023
@codecov

codecov Bot commented Nov 16, 2023

Copy link
Copy Markdown

Codecov Report

Merging #13534 (81f33d7) into branch-3.4 (c911816) will decrease coverage by 0.01%.
The diff coverage is 62.50%.

Additional details and impacted files
@@              Coverage Diff               @@
##           branch-3.4   #13534      +/-   ##
==============================================
- Coverage       92.62%   92.62%   -0.01%     
==============================================
  Files             321      321              
  Lines           20451    20451              
==============================================
- Hits            18943    18942       -1     
- Misses           1508     1509       +1     

@mattpap
mattpap merged commit 5873fc2 into branch-3.4 Nov 17, 2023
@mattpap
mattpap deleted the mattpap/13533_mypy_1.7.0 branch November 17, 2023 17:16
@mattpap mattpap mentioned this pull request Nov 28, 2023
4 tasks
Chiemezuo pushed a commit to Chiemezuo/bokeh that referenced this pull request Aug 27, 2024
@github-actions

Copy link
Copy Markdown

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Oct 25, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Errors in codebase CI runs using MyPy 1.7.0

2 participants