" 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 "