Merge branch 'main' into patch-2

.github/workflows/ci.yml

@@ -3,10 +3,14 @@
 name: CI
 
 on:
+  # always run CI on pushes to PRs and to the `main` branch
   pull_request:
-  workflow_dispatch:
   push:
     branches: ["main"]
+  # allow manually triggering CI.
+  workflow_dispatch:
+  # enable merge queue.
+  merge_group:
 
 env:
   # disable incremental compilation.
@@ -31,6 +35,26 @@ env:
   RUST_BACKTRACE: short
 
 jobs:
+  # dummy job to indicate everything has passed.
+  #
+  # this is used to gate merging branches, rather than requiring the individual
+  # checks in the GitHub branch protection UI. this allows us to declare which
+  # jobs gate merging in this file, rather than out of band in the UI.
+  all_systems_go:
+    name: "all systems go!"
+    runs-on: ubuntu-latest
+    needs:
+    - check
+    - clippy
+    - build-bins
+    - test
+    - test-host-miri
+    - docs
+    - rustfmt
+    - netlify_dryrun
+    steps:
+    - run: exit 0
+
   # run `just check`
   check:
     name: just check
@@ -101,7 +125,7 @@ jobs:
     - name: install nextest
       uses: taiki-e/install-action@v2
       with:
-        tool: cargo-nextest@0.9.61
+        tool: cargo-nextest@latest
     - uses: extractions/setup-just@v1
     - name: just test
       run: just test