From ddc5be4fa3d473376c99adaaaa852d133ea6c58a Mon Sep 17 00:00:00 2001 From: "liang.he@intel.com" Date: Sat, 26 Oct 2024 19:50:42 +0800 Subject: [PATCH] add CodeQL --- .devcontainer/Dockerfile | 8 ++++++++ .devcontainer/devcontainer.json | 2 ++ 2 files changed, 10 insertions(+) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 9ecab6600c..f64b9c7ec3 100644 --- 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 index b32d889f17..01f6bc93f7 100644 --- 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",