From ae2c016b1837b4aae8235bc3782da4df6370dd14 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 2 Jun 2026 04:43:34 +0000 Subject: [PATCH] chore: CI: bump zulip/github-actions-zulip from 1 to 2 Bumps [zulip/github-actions-zulip](https://github.com/zulip/github-actions-zulip) from 1 to 2. - [Release notes](https://github.com/zulip/github-actions-zulip/releases) - [Changelog](https://github.com/zulip/github-actions-zulip/blob/main/CHANGELOG.md) - [Commits](https://github.com/zulip/github-actions-zulip/compare/v1...v2) --- updated-dependencies: - dependency-name: zulip/github-actions-zulip dependency-version: '2' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"