Skip to content

ci(nightly-testing): replace github-script JS with bash - #940

Draft
jessealama wants to merge 5 commits into
leanprover:mainfrom
jessealama:ci/nightly-bump-bash
Draft

jessealama wants to merge 5 commits into
leanprover:mainfrom
jessealama:ci/nightly-bump-bash

ci(nightly-testing): let git for-each-ref pick the latest bump branch

91e5d50
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Lint workflow files
succeeded Oct 5, 2026 in 14s