From ecae4fbbbe87d852d77a4a3d3f9c1694aa9f394d Mon Sep 17 00:00:00 2001
From: adomani <adomani@gmail.com>
Date: Sun, 19 May 2024 16:42:56 +0200
Subject: [PATCH] post on zulip

---
 .github/workflows/ml_stats_label.yaml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/ml_stats_label.yaml b/.github/workflows/ml_stats_label.yaml
index df4d21d9df33d..76f83b5179ee2 100644
--- a/.github/workflows/ml_stats_label.yaml
+++ b/.github/workflows/ml_stats_label.yaml
@@ -28,3 +28,14 @@ jobs:
           GH_REPO: ${{ github.repository }}
           NUMBER: ${{ github.event.pull_request.number }}
           BODY: ${{ steps.mathlib_stats.outputs.summary }}
+
+      - name: Post report on Zulip
+        uses: zulip/github-actions-zulip/send-message@v1
+        with:
+          api-key: ${{ secrets.ZULIP_API_KEY }}
+          email: 'github-mathlib4-bot@leanprover.zulipchat.com'
+          organization-url: 'https://leanprover.zulipchat.com'
+          to: 'mathlib4'
+          type: 'stream'
+          topic: 'Mathlib weekly change report'
+          content: ${{ steps.mathlib_stats.outputs.summary }}