message: Fix conditional in PR checks
diff: @@ -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\"]"
  