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