Skip to content

Commit 68953ed

Browse files
authored
[ci] Add omnibus 'success' job. (#443)
This job is used to signal to branch protections that all other jobs have succeeded.
1 parent f001cf2 commit 68953ed

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

.github/workflows/ci.yml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -441,3 +441,13 @@ jobs:
441441
cargo install cargo-readme --version 3.2.0 &> /dev/null || true
442442
cargo install --locked kani-verifier &> /dev/null || true
443443
cargo kani setup &> /dev/null || true
444+
445+
# Used to signal to branch protections that all other jobs have succeeded.
446+
all-jobs-succeed:
447+
name: All checks succeeded
448+
if: success()
449+
runs-on: ubuntu-latest
450+
needs: [build_test, kani, check_fmt, check_readme, check_msrv, check_versions, generate_cache]
451+
steps:
452+
- name: Mark the job as successful
453+
run: exit 0

0 commit comments

Comments
 (0)