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

Commits

Commits on Jul 20, 2026

Commits on Jul 21, 2026

Commits on Jul 24, 2026