Some error while installing lean

Stream: new members

[Michael Wahlberg]

I can't make any sense of this error, does anybody here have any ideas? Screenshot-2023-02-04-235702.png

[Mauricio Collares]

The Lean version specified in your project's lake-toolchain file must match std4's (currently leanprover/lean4:nightly-2023-01-29 but that might depend on your lake manifest)