Skip to content

Fix pre-commit CI#2323

Merged
mdboom merged 2 commits into
NVIDIA:mainfrom
mdboom:fix-mypy
Jul 8, 2026
Merged

Fix pre-commit CI#2323
mdboom merged 2 commits into
NVIDIA:mainfrom
mdboom:fix-mypy

Conversation

@mdboom

@mdboom mdboom commented Jul 8, 2026

Copy link
Copy Markdown
Contributor

Numpy 2.5.0 introduced new syntax in their .pyi file that is not supported on Pythons prior to 3.12.0. We tell mypy that we must support all the way back to Python 3.10, so this fails with:

/pc/clone/iiMN7YpuTkSqCPCVYmy4Hg/py_env-python3/lib/python3.14/site-packages/numpy/__init__.pyi:737: error: Type statement is only supported in Python 3.12 and greater  [syntax]

Pinning to unblock CI.

This doesn't seem to be a bug on Numpy's part, since they only claim to support Python 3.12 currently.

@mdboom mdboom added P0 High priority - Must do! CI/CD CI/CD infrastructure labels Jul 8, 2026
@mdboom mdboom enabled auto-merge (squash) July 8, 2026 15:51
@github-actions

This comment has been minimized.

@leofang leofang added this to the cuda.core v1.1.0 milestone Jul 8, 2026
@mdboom mdboom merged commit ed4e31e into NVIDIA:main Jul 8, 2026
103 of 104 checks passed
@github-actions

github-actions Bot commented Jul 8, 2026

Copy link
Copy Markdown
Doc Preview CI
Preview removed because the pull request was closed or merged.

@leofang

leofang commented Jul 8, 2026

Copy link
Copy Markdown
Member

Thanks, Mike!

Weird that the assignee check failed but the PR is merged... 🤔

@rwgk

rwgk commented Jul 8, 2026

Copy link
Copy Markdown
Contributor

Weird that the assignee check failed but the PR is merged... 🤔

It was never made merge-blocking. The history is that Rob started it, I helped a little with follow-up work, and I think we both wanted to let it run for a while and confirm it was stable before making it required. We never got back to that last step. Should I create an issue so we don’t forget?

@leofang

leofang commented Jul 8, 2026

Copy link
Copy Markdown
Member

Ah I just made it required and was about to circle back and leave a paper trail here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI/CD CI/CD infrastructure P0 High priority - Must do!

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants