proofwidget: failed to fetch cloud release on v4.9.0

Stream: general

[Ira Fesefeldt]

When I tried to upgrade to version v4.9.0 or v4.10.0-rc1 on a project with only Mathlib as dependency, I got the following error when trying to execute lake build:

> lake build
⚠ [1/1216] Fetched proofwidgets:optRelease
info: proofwidgets: wanted prebuilt release, but no tag found for revision
warning: failed to fetch cloud release; falling back to local build
✖ [346/1216] Fetching proofwidgets:release
info: proofwidgets: wanted prebuilt release, but no tag found for revision
error: failed to fetch cloud release
Some builds logged failures:
- proofwidgets:release
error: build failed

Any idea how to fix this?

Reverting back to v4.9.0-rc3 made the error disappear.

[Ruben Van de Velde]

My understanding is that some amount of removing stale files helps with that. Maybe .lake/?

[Ira Fesefeldt]

I assumed lake clean would have been enough. But deleting .lake completely did indeed solve that.

[Kim Morrison]

Sorry about this, I will add it to the announce message.

[Asei Inoue]

same issue.

[Kim Morrison]

And does the same fix work?

[Adam Kurkiewicz]

I tried this (I'm working on Compfiles):

lake clean
lake exe cache get
lake build

And it didn't work. I'm still getting this error.

[Adam Kurkiewicz]

Should I just do lake clean and then lake build, and simply wait 2 hours for Mathlib to build?

[Henrik Böving]

lake clean is not enough, you need to manually remove .lake

[Adam Kurkiewicz]

Thanks, it's working now.