From 628999ca38c16ac24a57ea3dcc5f4c72c08c04d6 Mon Sep 17 00:00:00 2001 From: Kevin Backhouse Date: Fri, 7 Nov 2025 21:45:29 +0000 Subject: [PATCH] Automatically download latest version of CodeQL --- release_tools/publish_docker.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/release_tools/publish_docker.py b/release_tools/publish_docker.py index a28e857..ecaebb9 100644 --- a/release_tools/publish_docker.py +++ b/release_tools/publish_docker.py @@ -64,8 +64,7 @@ def write_dockerfile(dest_dir, entrypoint): && rm -rf /var/lib/apt/lists/* # Install CodeQL CLI -ENV CODEQL_VERSION=2.23.0 -RUN curl -Ls -o /tmp/codeql.zip https://github.com/github/codeql-cli-binaries/releases/download/v$CODEQL_VERSION/codeql-linux64.zip \\ +RUN curl -Ls -o /tmp/codeql.zip https://github.com/github/codeql-cli-binaries/releases/latest/download/codeql-linux64.zip \\ && unzip /tmp/codeql.zip -d /opt \\ && mv /opt/codeql /opt/codeql-cli \\ && ln -s /opt/codeql-cli/codeql /usr/local/bin/codeql \\