chore(dev): update development environment

This commit is contained in:
MingxuanGame
2025-11-30 00:44:15 +08:00
parent e688d2777d
commit 31ccc9f0a2
2 changed files with 5 additions and 1 deletions

0
.devcontainer/start-dev.sh Normal file → Executable file
View File

View File

@@ -9,5 +9,9 @@
{ {
"path": "performance-server" "path": "performance-server"
} }
] ],
"settings": {
"python.languageServer": "None",
"python.analysis.typeCheckingMode": "off"
}
} }