Repository navigation

ci(nightly-testing): guard the bump-branch steps when the nightly bump branch exists - #914

Draft

jessealama wants to merge 2 commits into

leanprover:mainfrom

jessealama:ci/nightly-bump-guards

Draft

ci(nightly-testing): guard the bump-branch steps when the nightly bump branch exists#914
jessealama wants to merge 2 commits into
leanprover:mainfrom
jessealama:ci/nightly-bump-guards

Commits on Oct 5, 2026
- ci(nightly-testing): guard the bump-branch steps when the nightly bump branch exists
  jessealama
  committed
  062c84f
- ci(nightly-testing): add a catch-all Zulip warning and report failure reasons
  jessealama
  committed
  265899e