Skip to content

Conversation

twiecki
Copy link
Member

@twiecki twiecki commented Dec 2, 2022

Downstreaming aesara-devs/aesara#1317. There were some conflicts/misses, I just ignored these. I know we already have some here so maybe we can just take it from here.

CC @aseyboldt

@ricardoV94 ricardoV94 requested a review from aseyboldt December 2, 2022 15:50
@ricardoV94 ricardoV94 added the aesara downstream PRs that were downstreamed from Aesara label Dec 13, 2022
@ricardoV94
Copy link
Member

I rebased from main. The last two commits of this PR are incompatible with other changes done by @aseyboldt in #46.

I defer to him to see if we should integrate them or not.

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants