Update CI Workflow Event Triggers

This reflects the renaming of master to main, removal of develop and
introduction of merge queues.

.github/workflows/build.yml

@@ -5,14 +5,13 @@ on:
   - cron: '0 10 * * *' # every day at 10am
   push:
     branches:
-    - master
-    - develop
+    - main
     tags:
     - 'v*.*.*'
   pull_request:
     branches:
-    - master
-    - develop
+    - main
+  merge_group:
 
 jobs:
   fmt:

.github/workflows/coverage.yml

@@ -1,9 +1,13 @@
 name: Coverage
 
 on:
+  push:
+    branches:
+    - main
   pull_request:
     branches:
-    - develop
+    - main
+  merge_group:
 
 jobs:
   test-coverage:

.github/workflows/scorecard.yml

@@ -4,8 +4,10 @@ on:
   # https://github.com/ossf/scorecard/blob/main/docs/checks.md#maintained
   schedule:
   - cron: '34 3 * * 3'
-  push:
-    branches: [ "master" ]
+  pull_request:
+    branches:
+    - main
+  merge_group:
 
 # Declare default permissions as read only.
 permissions: read-all