Bound the Lean build-lock wait by the request timeout; deflake the restage test - #22

Bound the Lean build-lock wait by the request timeout; deflake the restage test#22

senamakel merged 4 commits into

maintinyhumansai/supermath:mainfrom

lean-build-locktinyhumansai/supermath:lean-build-lockCopy head branch name to clipboard