Server process crashed

Stream: lean4

[Chris Hughes]

I'm getting the error Server process for file:///home/chris/Desktop/mathlib4/Mathlib/RingTheory/AlgebraicIndependent.lean crashed, likely due to a stack overflow or a bug. whenever I try to start Lean. It seems to only happen on mathlib files with a lot of dependencies. Is anyone else having this issue or know a solution?

[Chris Hughes]

I fixed it for now by merging master into that branch and waiting for the new cache.

[Eric Wieser]

When this happens, is there somewhere that the log message for the server can be found?

[Marc Huisinga]

I think most errors appear in Output > Lean: Editor (Open via Forall menu > Troubleshooting: Show Output)