Give PRs stacked on a bump branch their checks back (and pin lean4export to the toolchain) - #307

Give PRs stacked on a bump branch their checks back (and pin lean4export to the toolchain)#307

Vilin97 merged 2 commits into

mainVilin97/lean-pool:mainfrom

vilin/challenge-verify-any-baseVilin97/lean-pool:vilin/challenge-verify-any-baseCopy head branch name to clipboard