Fix branches warning

Author: mdboom

.github/workflows/coverage.yml

@@ -6,9 +6,10 @@ name: "CI: Coverage"
 
 on:
   # TODO: Remove this -- this just makes it possible to test during review
-  pull_request:
+  push:
     branches:
-      - main
+      - "main"
+      - "pull_request/[0-9]+"
   # TODO
   schedule:
     - cron: '0 0 * * *' # This runs the workflow every day at 12:00 AM UTC