Closed Martin-Molinero closed 6 months ago
@Martin-Molinero This commit has broken custom local images. Prior release worked fine with custom local images, but this release throws: Error: 404 Client Error for http+docker://localnpipe/v1.45/images/lean-cli/engine/json: Not Found ("No such image: lean-cli/engine:latest")
Hey @vguruv! Thanks for the report, we will look into it 👍
Hey @vguruv! Please update to the latest release 1.0.191, pip install --upgrade lean
, the issue should be fix for you now 👍