CI: don't run cron-fail-notify when the job just got canceled

Doesn't seem right to prepare a PR in that case
2024-04-23 16:16:57 +02:00 · 2024-04-23 16:16:57 +02:00 · 5d1654a40a
commit 5d1654a40a
parent 3b5d663135
1 changed files with 1 additions and 1 deletions
--- 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