diff --git a/.github/workflows/pr-checks.yml b/.github/workflows/pr-checks.yml index c540a7130..ccc34dae6 100644 --- a/.github/workflows/pr-checks.yml +++ b/.github/workflows/pr-checks.yml @@ -357,7 +357,7 @@ jobs: # # If we're running on push, then we can skip running with `tools: latest` when it would be # the same as running with `tools: null`. - if [[ "$GITHUB_EVENT_NAME" == "pull_request" && "$CODEQL_VERSION_DEFAULT" == "$CODEQL_VERSION_LATEST" ]]; then + if [[ "$GITHUB_EVENT_NAME" != "pull_request" && "$CODEQL_VERSION_DEFAULT" == "$CODEQL_VERSION_LATEST" ]]; then VERSIONS_JSON="[null, \"$NIGHTLY_URL\"]" else VERSIONS_JSON="[null, \"$NIGHTLY_URL\", \"latest\"]"