add a job for branch protection

Author: mockersf

.github/workflows/ci.yml

@@ -88,7 +88,7 @@ jobs:
         # See tools/ci/src/main.rs for the commands this runs
         run: cargo run -p ci -- lints
 
-  miri-partitions:
+  miri-setup-partitions:
     runs-on: ubuntu-latest
     outputs:
       partitions: ${{ steps.env.outputs.partitions }}
@@ -103,8 +103,8 @@ jobs:
           done
           echo "partitions=$t$count]" >> $GITHUB_OUTPUT
 
-  miri:
-    needs: [miri-partitions]
+  miri-run-partitions:
+    needs: [miri-setup-partitions]
     strategy:
       matrix:
         partition: ${{ fromJSON(needs.miri-partitions.outputs.partitions) }}
@@ -145,6 +145,13 @@ jobs:
           # -Zmiri-ignore-leaks is necessary because a bunch of tests don't join all threads before finishing.
           MIRIFLAGS: -Zmiri-ignore-leaks -Zmiri-disable-isolation
 
+  miri:
+    runs-on: ubuntu-latest
+    needs: [miri-run-partitions]
+    if: always()
+    steps:
+      - run: ${{ !contains(needs.*.result, 'failure') }}
+
   check-compiles:
     runs-on: ubuntu-latest
     timeout-minutes: 30