post on zulip

leanprover-community · May 19, 2024 · ecae4fb · ecae4fb
1 parent ce8373f
commit ecae4fb
Showing 1 changed file with 11 additions and 0 deletions.
diff --git 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: '[email protected]'
+          organization-url: 'https://leanprover.zulipchat.com'
+          to: 'mathlib4'
+          type: 'stream'
+          topic: 'Mathlib weekly change report'
+          content: ${{ steps.mathlib_stats.outputs.summary }}