Update CI

.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:
       - "*"