Skip to content

Conversation

@asgerf
Copy link
Contributor

@asgerf asgerf commented Nov 19, 2025

Note: the PR is currently based on another PR containing a lot of commits

asgerf and others added 24 commits November 13, 2025 09:45
Locally these seem to get rid of the compilation warnings, but of course
CI is the true arbiter here.
In this case we actually want magic to apply, but was prevented by locality.
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