diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dbf33fd7..15865eae 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -409,7 +409,7 @@ jobs: if: ${{ !cancelled() }} steps: - if: ${{ contains(needs.*.result, 'failure') && github.repository == 'leanprover/lean4' && github.ref_name == 'master' }} - uses: zulip/github-actions-zulip/send-message@v1 + uses: zulip/github-actions-zulip/send-message@v2 with: api-key: ${{ secrets.ZULIP_BOT_KEY }} email: "github-actions-bot@lean-fro.zulipchat.com"