ci: cache the Lean toolchain and retry its installation - #1427

ci: cache the Lean toolchain and retry its installation#1427

SamuelSchlesinger merged 1 commit into

maincslib-community/complexitylib:mainfrom

ci/elan-toolchain-cache-jetskicslib-community/complexitylib:ci/elan-toolchain-cache-jetskiCopy head branch name to clipboard