Skip to content

Conversation

rniczh
Copy link
Contributor

@rniczh rniczh commented Oct 17, 2025

Context:

Description of the Change:

Benefits:

Possible Drawbacks:

Related GitHub Issues:

@rniczh rniczh changed the base branch from main to rniczh/update-jax-to-0.7.2 October 17, 2025 17:38
@rniczh rniczh marked this pull request as draft October 17, 2025 17:38
@github-actions
Copy link
Contributor

Hello. You may have forgotten to update the changelog!
Please edit doc/releases/changelog-dev.md on your branch with:

  • A one-to-two sentence description of the change. You may include a small working example for new features.
  • A link back to this PR.
  • Your name (or GitHub username) in the contributors section.

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.

2 participants