LSP Lake replaying dependencies

Stream: lean4

[Leni Aniva]

What could cause lake to replay all dependencies during LSP startup?

⚠ [206/1884] Replayed Mathlib.Logic.ExistsUnique

is there a way to suppress this behaviour?

[Julian Berman]

I haven't looked into this carefully (so someone else who knows better will likely come along), but as far as I've seen, that's simply its behavior. What issue does it cause you?

[Leni Aniva]

Julian Berman said:

I haven't looked into this carefully (so someone else who knows better will likely come along), but as far as I've seen, that's simply its behavior. What issue does it cause you?

It takes a while to execute all the replay's