Skip to content

Conversation

@mdboom
Copy link
Contributor

@mdboom mdboom commented Jan 9, 2026

As an artifact of how our CI works, any changes required to cuda.bindings required by changes to cuda.core must be merged first, and not as part of the same PR.

I think it's worth working on that problem independently, but in the meantime, I am filing this PR as a prerequisite to #1448 and #1446.

@copy-pr-bot
Copy link
Contributor

copy-pr-bot bot commented Jan 9, 2026

Auto-sync is disabled for ready for review pull requests in this repository. Workflows must be run manually.

Contributors can view more details about this message here.

@mdboom
Copy link
Contributor Author

mdboom commented Jan 9, 2026

Actually, maybe I don't need to do this separately, now that I think about it... Closing for now.

@mdboom mdboom closed this Jan 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant