Merge branch 'develop' into master

This commit is contained in:
Tom Fifield
2025-10-19 08:52:29 +11:00
committed by GitHub
6 changed files with 81 additions and 38 deletions

View File

@@ -8,7 +8,7 @@
"features": {
"ghcr.io/devcontainers/features/python:1": {
"installTools": true,
"version": "latest"
"version": "3.13"
}
},
"customizations": {