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.