Skip to content

feat: Github actions workflow to send a message to Zulip thread#1453

Open
Alex-Zughaid wants to merge 17 commits into
leanprover-community:masterfrom
Alex-Zughaid:github-reviewer-bot
Open

feat: Github actions workflow to send a message to Zulip thread#1453
Alex-Zughaid wants to merge 17 commits into
leanprover-community:masterfrom
Alex-Zughaid:github-reviewer-bot

Switch Repo Updates trigger to Zulip DM via repository_dispatch

330d8c9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based linters
succeeded Jul 24, 2026 in 15s