Update Devcontainers

.devcontainer/bootstrap.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+
+# Install CodeQL Stub
+cp ./.devcontainer/codeql.sh /usr/local/bin/codeql
+
+# Clone an instance of the CodeQL repository
+if [ ! -d "./codeql" ]; then
+  git clone --depth=1 https://github.com/github/codeql ./codeql
+fi

.devcontainer/codeql.sh

@@ -0,0 +1,2 @@
+#!/bin/bash
+/root/.vscode-remote/data/User/globalStorage/github.vscode-codeql/distribution1/codeql/codeql $@

.devcontainer/devcontainer.json

@@ -1,15 +1,39 @@
 {
     "name": "CodeQL-Community-Packs",
+    "postAttachCommand": ".devcontainer/bootstrap.sh",
+    "hostRequirements": {
+        "storage": "32gb",
+        "memory": "16gb",
+        "cpus": 4
+    },
     "extensions": [
         "github.vscode-codeql",
-        "github.copilot"
+        "github.copilot",
+        "ms-vscode.test-adapter-converter",
     ],
     "settings": {
+        "codeQL.canary": true,
         "codeQL.runningQueries.autoSave": true,
         "codeQL.runningQueries.numberOfThreads": 4,
         "codeQL.runningQueries.debug": true,
         "editor.formatOnSave": true
     },
     "postCreateCommand": "git submodule init && git submodule update --recursive",
-    "remoteUser": "root"
-}
+    "remoteUser": "root",
+    "customizations": {
+        "codespaces": {
+            "repositories": {
+                "github/gh-codeql": {
+                    "permissions": {
+                        "contents": "read"
+                    }
+                },
+                "github/codeql": {
+                    "permissions": {
+                        "contents": "read"
+                    }
+                }
+            }
+        }
+    }
+}

.gitignore

@@ -9,6 +9,8 @@
 *.actual
 *.class
 */*.class
+# Cloned repository of codeql
+/codeql
 
 # Test files / folders
 test.ql