diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-23 16:16:57 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-23 16:17:00 +0200 |
| commit | 5d1654a40a38d76d40b8835a655feb7d8c013230 (patch) | |
| tree | 4d6c719f75481ac3de20a7cd3e56114e70bb8e45 /src | |
| parent | 3b5d66313591299bc2eb48230cff52f43694163b (diff) | |
| download | rust-5d1654a40a38d76d40b8835a655feb7d8c013230.tar.gz rust-5d1654a40a38d76d40b8835a655feb7d8c013230.zip | |
CI: don't run cron-fail-notify when the job just got canceled
Doesn't seem right to prepare a PR in that case
Diffstat (limited to 'src')
| -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 b0dab9f509d..4df383d1d68 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 |