Skip to content

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

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

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

The logs for this run have expired and are no longer available.