[ci] Add omnibus 'success' job.

This job is used to signal to branch protections that all other
jobs have succeeded.

.github/workflows/ci.yml

@@ -440,3 +440,13 @@ jobs:
           cargo install cargo-readme --version 3.2.0 &> /dev/null || true
           cargo install --locked kani-verifier       &> /dev/null || true
           cargo kani setup                           &> /dev/null || true
+
+  # Used by branch protections to signal that all jobs have succeeded.
+  all-jobs-succeed:
+      name: continuous integration finished
+      if: success()
+      runs-on: ubuntu-latest
+      needs: [build_test, kani, check_fmt, check_readme, check_msrv, check_versions, generate_cache]
+      steps:
+        - name: Mark the job as successful
+          run: exit 0