Skip to content

Docker dev support#50

Merged
jenshorn merged 4 commits intomasterfrom
docker-support
Aug 19, 2025
Merged

Docker dev support#50
jenshorn merged 4 commits intomasterfrom
docker-support

Conversation

@jenshorn
Copy link
Collaborator

Add docker support for local development to avoid installing/managing different versions of python etc.

@jenshorn jenshorn merged commit 04ca1f5 into master Aug 19, 2025
2 of 3 checks passed
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