From 2147a14ef9855a7e3661d7e5eff336907845801c Mon Sep 17 00:00:00 2001 From: Jesse Alama Date: Wed, 9 Sep 2026 18:23:01 +0200 Subject: [PATCH] ci(nightly-testing): pass ZULIP_API_KEY through env instead of interpolating into script text --- .github/workflows/report_failures_nightly-testing.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/report_failures_nightly-testing.yml b/.github/workflows/report_failures_nightly-testing.yml index edeeb91682..1529a5b228 100644 --- a/.github/workflows/report_failures_nightly-testing.yml +++ b/.github/workflows/report_failures_nightly-testing.yml @@ -268,6 +268,7 @@ jobs: BUMP_VERSION: ${{ steps.bump_version.outputs.result }} BUMP_BRANCH: ${{ steps.latest_bump_branch.outputs.result }} SHA: ${{ env.SHA }} + ZULIP_API_KEY: ${{ secrets.ZULIP_API_KEY }} run: | echo "Installing zulip CLI..." pip install zulip @@ -278,7 +279,7 @@ jobs: { echo "[api]" echo "email=github-mathlib4-bot@leanprover.zulipchat.com" - echo "key=${{ secrets.ZULIP_API_KEY }}" + echo "key=$ZULIP_API_KEY" echo "site=https://leanprover.zulipchat.com" } > ~/.zuliprc chmod 600 ~/.zuliprc