Proof widgets not up-to-date

Stream: general

[Bhavik Mehta]

I downloaded a project and tried to get cache, then open the project files. I get this error:

stderr:
✖ [576/587] Building proofwidgets/widgetJsAll
error: ProofWidgets not up-to-date. Please run `lake exe cache get` to fetch the latest ProofWidgets. If this does not work, report your issue on the Lean Zulip.
Some required builds logged failures:
- proofwidgets/widgetJsAll
error: build failed

I did lake exe cache get and lake exe cache get!, and neither of these made this error go away.

[Bhavik Mehta]

Nuking .lake as usual worked instead, but the error asked me to report here so... :)

[Edison Xie]

maybe lake clean and then get cache again?

[Bhavik Mehta]

Sure that probably would've worked too, but then the suggestion it gave me should've been to do that!