Proofwidgets not up-to-date

Stream: mathlib4

[Yifan Bai]

Hello, today when I'm trying to install mathlib on a windows PC, I use lake build and it shows an error
1241751882724_.pic_hd.jpg
It tells me that Proofwidgets not up-to-date. How to solve this problem? Has anyone ever met such a problem? Thank you so much. :smiling_face:

[Aaron Liu]

can you paste in the entire output, including the commands you ran?

[Ruben Van de Velde]

And the output of "run with -v for extra details" could be interesting too

[Yifan Bai]

I have just closed the terminal and could not find this page... :smiling_face_with_tear: What I did is first using elan to install the lean4 with version 4.20.0, and clone the MIL repository, and then ran lake build.
When I ran lake build once again, it showed
1471751889907_.pic_hd.jpg

[Yifan Bai]

I found the screen shot when I first ran lake build. At first it is normal, cloning mathlib, when it comes to Proofwidget, it gave an error
171751900299_.pic_hd.jpg
1241751882724_.pic_hd.jpg