From 97b64af190c53b318dbed4892b6b3d2a8c7f6312 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 17 Aug 2026 19:31:45 +0000 Subject: [PATCH 1/3] Initial plan From d45afd94cc07ab27824c80617a17d7a66048132d Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 17 Aug 2026 19:33:19 +0000 Subject: [PATCH 2/3] Trim whitespace in update-codeql-version workflow version input Co-authored-by: felickz <1760475+felickz@users.noreply.github.com> --- .github/workflows/update-codeql-version.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/update-codeql-version.yml b/.github/workflows/update-codeql-version.yml index 09a656d6..96b7693c 100644 --- a/.github/workflows/update-codeql-version.yml +++ b/.github/workflows/update-codeql-version.yml @@ -54,6 +54,8 @@ jobs: run: | set -euo pipefail VERSION="${{ inputs.codeql_version }}" + VERSION="${VERSION#"${VERSION%%[![:space:]]*}"}" # trim leading whitespace + VERSION="${VERSION%"${VERSION##*[![:space:]]}"}" # trim trailing whitespace VERSION="${VERSION#v}" # tolerate an accidental leading "v" if ! [[ "$VERSION" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]; then echo "::error::codeql_version must look like X.Y.Z, got: ${{ inputs.codeql_version }}" From 71c15df95d367b74a60ccd834df4bebcea99aed1 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 17 Aug 2026 19:33:56 +0000 Subject: [PATCH 3/3] Report the normalized value in the version validation error message Co-authored-by: felickz <1760475+felickz@users.noreply.github.com> --- .github/workflows/update-codeql-version.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update-codeql-version.yml b/.github/workflows/update-codeql-version.yml index 96b7693c..e9da474b 100644 --- a/.github/workflows/update-codeql-version.yml +++ b/.github/workflows/update-codeql-version.yml @@ -58,7 +58,7 @@ jobs: VERSION="${VERSION%"${VERSION##*[![:space:]]}"}" # trim trailing whitespace VERSION="${VERSION#v}" # tolerate an accidental leading "v" if ! [[ "$VERSION" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]; then - echo "::error::codeql_version must look like X.Y.Z, got: ${{ inputs.codeql_version }}" + echo "::error::codeql_version must look like X.Y.Z, got: $VERSION" exit 1 fi echo "version=$VERSION" >> "$GITHUB_OUTPUT"