diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 2879d67..475a4cb 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -13,16 +13,17 @@ env: merge_group: {} pull_request: push: - branches-ignore: - # These should always correspond to pull requests, so ignore them for - # the push trigger and let them be triggered by the pull_request - # trigger, avoiding running the workflow twice. This is a minor - # optimization so there's no need to ensure this is comprehensive. - - "dependabot/**" - - "gh-readonly-queue/**" - - "renovate/**" - - "tickets/**" - - "u/**" + # branches-ignore: + # # These should always correspond to pull requests, so ignore them for + # # the push trigger and let them be triggered by the pull_request + # # trigger, avoiding running the workflow twice. This is a minor + # # optimization so there's no need to ensure this is comprehensive. + # - "dependabot/**" + # - "gh-readonly-queue/**" + # - "renovate/**" + # - "tickets/**" + # - "u/**" + # - "main" tags: - "*"