Skip to content

Conversation

twiecki
Copy link
Member

@twiecki twiecki commented Dec 14, 2022

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

@twiecki twiecki added the aesara downstream PRs that were downstreamed from Aesara label Dec 14, 2022
Co-authored-by: Ricardo Vieira <28983449+ricardoV94@users.noreply.github.com>
@ricardoV94
Copy link
Member

Haha, pre-commit and editing via comments sure is a wild ride :D

@twiecki twiecki merged commit 4eded29 into main Dec 15, 2022
@twiecki twiecki deleted the downstream_1362 branch December 15, 2022 11:35
@ricardoV94 ricardoV94 added enhancement New feature or request jax labels Dec 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
aesara downstream PRs that were downstreamed from Aesara enhancement New feature or request jax
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants