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

[workspace] Upgrade mypy_internal to latest release v1.8.0 #20745

Merged
merged 1 commit into from
Jan 11, 2024

Conversation

mwoehlke-kitware
Copy link
Contributor

@mwoehlke-kitware mwoehlke-kitware commented Jan 4, 2024

Toward #20723.


This change is Reviewable

@mwoehlke-kitware mwoehlke-kitware added the release notes: fix This pull request contains fixes (no new features) label Jan 4, 2024
@mwoehlke-kitware mwoehlke-kitware changed the title Upgrade mypy [workspace] Upgrade mypy_internal to latest release v1.8.0 Jan 4, 2024
@jwnimmer-tri
Copy link
Collaborator

FYI @mwoehlke-kitware you're probably as knowledgeable about mypy as I am at this point, so it's OK by me if you want to dig in and try to repair this one on your own. I'm hoping it's just a small tweak or two.

@mwoehlke-kitware
Copy link
Contributor Author

@mwoehlke-kitware you're probably as knowledgeable about mypy as I am at this point

Yes, I had the same thought. I probably won't be able to get to it today, however. Good news is it's also failing for me locally and doesn't seem to be a case of the infamous timeout. In any case, I think separating this so it isn't blocking the other updates was/is TRTTD.

+@mwoehlke-kitware to fix.

@mwoehlke-kitware mwoehlke-kitware self-assigned this Jan 5, 2024
@mwoehlke-kitware
Copy link
Contributor Author

FYI, the relevant upstream change is python/mypy#16608.

@jwnimmer-tri jwnimmer-tri added the status: single reviewer ok https://drake.mit.edu/reviewable.html label Jan 11, 2024
Copy link
Collaborator

@jwnimmer-tri jwnimmer-tri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm: +(status: single reviewer ok).

Looks good on paper. I'm going to do some local testing before we merge this.

Reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: 1 unresolved discussion, LGTM missing from assignee mwoehlke-kitware

a discussion (no related file):
Working

Confirm that pyi errors are still detected when the build/docs have bugs.


Copy link
Collaborator

@jwnimmer-tri jwnimmer-tri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: LGTM missing from assignee mwoehlke-kitware

a discussion (no related file):

Previously, jwnimmer-tri (Jeremy Nimmer) wrote…

Working

Confirm that pyi errors are still detected when the build/docs have bugs.

Confirmed good.

I commented out our reject_double_colon.patch patch, so that the *.pyi files were broken. The unit test correctly reported on the broken files.


@jwnimmer-tri jwnimmer-tri merged commit 09250ff into RobotLocomotion:master Jan 11, 2024
10 checks passed
@mwoehlke-kitware mwoehlke-kitware deleted the upgrade-mypy branch January 11, 2024 22:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: fix This pull request contains fixes (no new features) status: single reviewer ok https://drake.mit.edu/reviewable.html
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants