FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

[3.12] gh-109125: Run mypy on `Tools/wasm` (GH-109126) by hugovk · Pull Request #109561 · python/cpython · GitHub

/ cpython Public

[3.12] gh-109125: Run mypy on Tools/wasm (GH-109126) - #109561

Closed
hugovk wants to merge 2 commits into
python:3.12from
hugovk:backport-f65497f-3.12
Closed

[3.12] gh-109125: Run mypy on Tools/wasm (GH-109126)#109561
hugovk wants to merge 2 commits into
python:3.12from
hugovk:backport-f65497f-3.12

Conversation

hugovk commented Sep 19, 2023
edited
Loading

Copy link
Copy Markdown
Member

(cherry picked from commit f65497f)

Includes the other missing ones.

(cherry picked from commit f65497f)

Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
Comment thread .github/workflows/mypy.yml Outdated
Comment thread .github/workflows/mypy.yml Outdated
hugovk marked this pull request as draft September 19, 2023 07:16

hugovk commented Sep 19, 2023
edited
Loading

Copy link
Copy Markdown
Member Author

I've updated the PR only to backport the Tools/wasm checking, but on second thoughts, let's close this and we can add it later if anyone wants it.

hugovk closed this Sep 19, 2023
hugovk deleted the backport-f65497f-3.12 branch September 25, 2023 15:36
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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.

3 participants


Back | FazBrowse Home | New Git URL