Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork32k
Run mypy workflow on_colorize.py
andMisc/mypy/**
changes#133116
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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Uh oh!
There was an error while loading.Please reload this page.
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others.Learn more.
Thanks!
Uh oh!
There was an error while loading.Please reload this page.
Uh oh!
There was an error while loading.Please reload this page.
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
01f11a0
intopython:mainUh oh!
There was an error while loading.Please reload this page.
Thanks@sobolevn for the PR 🌮🎉.. I'm working now to backport this PR to: 3.13. |
…nGH-133116)(cherry picked from commit01f11a0)Co-authored-by: sobolevn <mail@sobolevn.me>Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
GH-133133 is a backport of this pull request to the3.13 branch. |
…GH-133116) (#133133)Run mypy workflow on `_colorize.py` and `Misc/mypy/**` changes (GH-133116)(cherry picked from commit01f11a0)Co-authored-by: sobolevn <mail@sobolevn.me>Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
These are dependencies of mypy runs of
pyrepl
, so they should be added.