fix(ci): Ensure required workflows run in merge queue

.github/workflows/coverage.yml

@@ -1,9 +1,10 @@
 name: Coverage
 
 on:
+  merge_group:
+  pull_request:
   push:
     branches: main
-  pull_request:
 
 env:
   CARGO_TERM_COLOR: always

.github/workflows/mbt.yml

@@ -1,8 +1,9 @@
 name: MBT
 on:
+  merge_group:
+  pull_request:
   push:
     branches: main
-  pull_request:
 
 jobs:
   changes:

.github/workflows/quint.yml

@@ -1,8 +1,9 @@
 on:
   workflow_dispatch:
+  pull_request:
+  merge_group:
   push:
     branches: main
-  pull_request:
 
 name: Quint
 

.github/workflows/rust.yml

@@ -1,9 +1,10 @@
 name: Rust
 
 on:
+  merge_group:
+  pull_request:
   push:
     branches: main
-  pull_request:
 
 env:
   CARGO_INCREMENTAL: 0

.github/workflows/typos.yml

@@ -1,5 +1,6 @@
 name: Spelling
 on:
+  merge_group:
   pull_request:
   push:
     branches: main