Skip to content

ci(nightly-testing): pass ZULIP_API_KEY through env instead of interpolating into script text - #889

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

ci(nightly-testing): pass ZULIP_API_KEY through env instead of interpolating into script text#889
jessealama wants to merge 1 commit into
leanprover:mainfrom
jessealama:ci/zulip-key-env

ci(nightly-testing): pass ZULIP_API_KEY through env instead of interp…

2147a14
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 9, 2026 in 4s