We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 4ada3e9 + 82ba1c4 commit 00d0be2Copy full SHA for 00d0be2
.devcontainer/devcontainer.json
@@ -0,0 +1,15 @@
1
+{
2
+ "name": "CodeQL-Community-Packs",
3
+ "extensions": [
4
+ "github.vscode-codeql",
5
+ "github.copilot"
6
+ ],
7
+ "settings": {
8
+ "codeQL.runningQueries.autoSave": true,
9
+ "codeQL.runningQueries.numberOfThreads": 4,
10
+ "codeQL.runningQueries.debug": true,
11
+ "editor.formatOnSave": true
12
+ },
13
+ "postCreateCommand": "git submodule init && git submodule update --recursive",
14
+ "remoteUser": "root"
15
+}
0 commit comments