I cannot create project using Mathlib.

Stream: new members

[Brandon Gao]

[2/2] Running proofwidgets:release

error: failed to fetch GitHub release (run with '-v' for details)

Some required builds logged failures:

• proofwidgets:release

error: build failed

uncaught exception: Failed to fetch ProofWidgets cloud release: lake failed with error code 1

error: mathlib: failed to fetch cache

=> Operation failed. Exit code: 1.

:joy: Who can help me solve this problem. I cannot create project using Mathlib. It always failed at  [2/2] Running proofwidgets:release

[Marc Huisinga]

Are you using Windows and a third-party anti virus by any chance?

[Jz Pan]

Try lake update some more times?

[Brandon Gao]

Marc Huisinga said:

Are you using Windows and a third-party anti virus by any chance?

Yes, i'm using VScode in Windows.

[Brandon Gao]

Jz Pan said:

Try lake update some more times?

OK, thanks a lot. I will try more times.

[Marc Huisinga]

Brandon Gao said:

Marc Huisinga said:

Are you using Windows and a third-party anti virus by any chance?

Yes, i'm using VScode in Windows.

Which antivirus are you using?