add CodeQL

lum1n0us · Oct 26, 2024 · 0f1f684 · 0f1f684
1 parent e483544
commit 0f1f684
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -158,6 +158,14 @@ ENV RUSTUP_HOME=/home/vscode/.rustup
 RUN curl -sSf https://sh.rustup.rs | sh -s -- -y
 ENV PATH="${CARGO_HOME}/bin:${PATH}"
 
+#
+# Install CodeQL CLI
+RUN cd /opt \
+  && wget https://github.com/github/codeql-action/releases/download/codeql-bundle-v2.19.2/codeql-bundle-linux64.tar.gz \
+  && tar xf codeql-bundle-linux64.tar.gz \
+  && rm codeql-bundle-linux64.tar.gz
+ENV PATH="/opt/codeql:${PATH}"
+
 # set path
 ENV PATH="/home/vscode/.opam/default/bin:/opt/bazelisk:/usr/lib/llvm-${LLVM_VER}/bin:${PATH}"
 # clean

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -30,6 +30,8 @@
       // Add the IDs of extensions you want installed when the container is created.
       "extensions": [
         "esbenp.prettier-vscode",
+        "GitHub.vscode-codeql",
+        "GitHub.vscode-pull-request-github",
         "ms-python.debugpy",
         "ms-python.python",
         "ms-python.black-formatter",