Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions release_tools/publish_docker.py
Original file line number Diff line number Diff line change
Expand Up @@ -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 \\
Copy link

Copilot AI Nov 7, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Using /releases/latest/download/ instead of a pinned version can lead to reproducibility and stability issues. Docker images built at different times may use different CodeQL CLI versions, potentially causing:

  1. Inconsistent behavior across deployments
  2. Unexpected breaking changes
  3. Difficulty troubleshooting issues

Consider either:

  • Keeping a pinned version (e.g., v2.23.0) for reproducible builds
  • Adding a mechanism to explicitly update the version through configuration rather than automatically pulling the latest
  • Documenting why automatic updates are preferred over version pinning

Copilot uses AI. Check for mistakes.
&& unzip /tmp/codeql.zip -d /opt \\
&& mv /opt/codeql /opt/codeql-cli \\
&& ln -s /opt/codeql-cli/codeql /usr/local/bin/codeql \\
Expand Down
Loading