Commit 2025-09-23 00:04 bde7e025

View on Github →

fix(Cache): misleading ProofWidgets fetch failure (#29886) This PR fixes an issue with lake cache get where it would incorrectly appear that cache failed to ProofWidgets. This was caused by cache printing output of the lake build --no-build invocation used to check whether a fetch was necessary. This also improves the output on a real failure by the running the lake build command to fetch the release with a -v and only printing the output on a failure.

Estimated changes