From 14793654f74ca2254572cba98879b3b8e2d03b1e Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Tue, 3 Nov 2026 16:18:23 +0000 Subject: [PATCH] Wrap CodeQL version summary in collapsible details --- .github/scripts/build-codeql-lib-versions-table.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/scripts/build-codeql-lib-versions-table.sh b/.github/scripts/build-codeql-lib-versions-table.sh index 79f8ff41..875b5dd3 100755 --- a/.github/scripts/build-codeql-lib-versions-table.sh +++ b/.github/scripts/build-codeql-lib-versions-table.sh @@ -138,7 +138,9 @@ is_lib_language() { return 1 } -echo "## CodeQL standard library & query pack versions" +echo "
" +echo "CodeQL standard library & query pack versions" +echo "

" echo echo "Pinned CodeQL CLI/library version ([\`.codeqlversion\`](https://github.com/${REPO}/blob/${REPO_SHA}/.codeqlversion)): [\`v${CODEQL_VERSION}\`](https://github.com/github/codeql-cli-binaries/releases/tag/v${CODEQL_VERSION})" echo @@ -209,6 +211,9 @@ for lang in "${LANGUAGES[@]}"; do done done +echo "

" +echo "
" + if [ "$MISMATCH" -eq 1 ]; then echo "::warning::One or more CodeQL standard library/query pack versions are out of sync with CLI v${CODEQL_VERSION}. Run 'codeql pack upgrade /' for the affected language/pack directory(ies)." >&2 fi