Skip to content
New issue

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

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

Already on GitHub? # to your account

Update devcontainer to python 3.13 #554

Merged
merged 1 commit into from
Jan 7, 2025
Merged

Update devcontainer to python 3.13 #554

merged 1 commit into from
Jan 7, 2025

Conversation

astrandb
Copy link
Collaborator

@astrandb astrandb commented Jan 7, 2025

Update the devcontainer to use python 3.13. Also a few adjustments to other tools in the container.

@github-actions github-actions bot added the dev tools Development environment and tools label Jan 7, 2025
@astrandb astrandb self-assigned this Jan 7, 2025
@astrandb astrandb merged commit 25ca6c8 into master Jan 7, 2025
6 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
dev tools Development environment and tools
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant