Skip to content

Conversation

maresb
Copy link
Contributor

@maresb maresb commented Jan 26, 2023

What is this PR about?
Not urgent, but now that the devcontainer has been built from the pymc-devs/pymc repo, we can switch over the base image.

Checklist

Major / Breaking Changes

  • ...

New features

  • ...

Bugfixes

  • ...

Documentation

  • ...

Maintenance

  • ...

@maresb maresb requested a review from twiecki January 26, 2023 09:09
@twiecki twiecki merged commit f2a7174 into pymc-devs:main Jan 26, 2023
@maresb maresb deleted the patch-3 branch January 26, 2023 12:41
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