Skip to content

ci: pin zulip in a requirements file - #894

Open
jessealama wants to merge 1 commit into
leanprover:mainfrom
jessealama:ci/pin-zulip
Open

ci: pin zulip in a requirements file#894
jessealama wants to merge 1 commit into
leanprover:mainfrom
jessealama:ci/pin-zulip

ci: pin zulip in a requirements file

5e49778
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 11, 2026 in 3s