diff options
| author | bors <bors@rust-lang.org> | 2024-04-25 06:16:47 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-25 06:16:47 +0000 |
| commit | c69c79d42a691b2f8402d18ec87fb0e0873f1bf2 (patch) | |
| tree | ffb8e51ff248626f7e68615cf471a0ea4c27ef33 | |
| parent | 246ba3b808af7d0b6e515486fd734d04078e4d73 (diff) | |
| parent | 5d1654a40a38d76d40b8835a655feb7d8c013230 (diff) | |
| download | rust-c69c79d42a691b2f8402d18ec87fb0e0873f1bf2.tar.gz rust-c69c79d42a691b2f8402d18ec87fb0e0873f1bf2.zip | |
Auto merge of #3505 - RalfJung:ci, r=RalfJung
CI: don't run cron-fail-notify when the job just got canceled Doesn't seem right to prepare a PR in that case
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 73afd2a12a9..7ac9ff707d7 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -165,7 +165,7 @@ jobs: name: cronjob failure notification runs-on: ubuntu-latest needs: [build, style] - if: github.event_name == 'schedule' && (failure() || cancelled()) + if: github.event_name == 'schedule' && failure() steps: # Send a Zulip notification - name: Install zulip-send |