Skip to content

🔄 From Aesara: 1345: "Splitting before using JAX key" #130

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 2 commits into from
Dec 14, 2022
Merged

🔄 From Aesara: 1345: "Splitting before using JAX key" #130

merged 2 commits into from
Dec 14, 2022

Conversation

twiecki
Copy link
Member

@twiecki twiecki commented Dec 14, 2022

Downstreaming aesara-devs/aesara#1345. PR port done by downstream_pr.sh script.

@twiecki twiecki added the aesara downstream PRs that were downstreamed from Aesara label Dec 14, 2022
@twiecki twiecki merged commit 5affc30 into main Dec 14, 2022
@twiecki twiecki deleted the downstream_1345 branch December 14, 2022 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ricardoV94 ricardoV94 ricardoV94 approved these changes

Assignees
No one assigned
Labels
aesara downstream PRs that were downstreamed from Aesara jax random variables
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@twiecki @ricardoV94 @AdrienCorenflos @rlouf