Skip to content

Conversation

@matthiasdiener
Copy link
Collaborator

@matthiasdiener matthiasdiener commented Sep 5, 2025

Alternative to #380 / #381

@matthiasdiener matthiasdiener marked this pull request as ready for review September 5, 2025 19:28
Copy link
Collaborator

@alexfikl alexfikl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Left a little comment, but otherwise this looks very straightforward now, so not much to say 😁

@inducer inducer merged commit 7314d0e into main Sep 10, 2025
7 checks passed
@inducer
Copy link
Owner

inducer commented Sep 10, 2025

Thx!

@inducer inducer deleted the mpilazyjax2 branch September 10, 2025 19:25
This was referenced Sep 10, 2025
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.

4 participants