Skip to content

gh-133403: Check Tools/build/generate-build-details.py with mypy #133735

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

Merged
merged 1 commit into from
May 9, 2025

Conversation

sobolevn
Copy link
Member

@sobolevn sobolevn commented May 9, 2025

@sobolevn sobolevn merged commit cd2f234 into python:main May 9, 2025
50 checks passed
@miss-islington-app
Copy link

Thanks @sobolevn for the PR 🌮🎉.. I'm working now to backport this PR to: 3.13, 3.14.
🐍🍒⛏🤖

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request May 9, 2025
…ypy (pythonGH-133735)

(cherry picked from commit cd2f234)

Co-authored-by: sobolevn <mail@sobolevn.me>
@miss-islington-app
Copy link

Sorry, @sobolevn, I could not cleanly backport this to 3.13 due to a conflict.
Please backport using cherry_picker on command line.

cherry_picker cd2f234ad2ddd95e2d650edac5a6d593c865756a 3.13

@bedevere-app
Copy link

bedevere-app bot commented May 9, 2025

GH-133764 is a backport of this pull request to the 3.14 branch.

@bedevere-app bedevere-app bot removed the needs backport to 3.14 bugs and security fixes label May 9, 2025
@sobolevn
Copy link
Member Author

sobolevn commented May 9, 2025

There's no Tools/build/generate-build-details.py on 3.13, so - skipping.

@sobolevn sobolevn removed the needs backport to 3.13 bugs and security fixes label May 9, 2025
sobolevn added a commit that referenced this pull request May 9, 2025
…mypy (GH-133735) (#133764)

gh-133403: Check `Tools/build/generate-build-details.py` with mypy (GH-133735)
(cherry picked from commit cd2f234)

Co-authored-by: sobolevn <mail@sobolevn.me>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants