Adam Obuchowicz
|
874e9efe74
|
Add workaround for huge idmap diffs (#9207)
Fixes probably #9198 See [this comment](https://github.com/enso-org/enso/issues/9198#issuecomment-1968484269) for justification. TLDR: the diff algorithm is too slow for our huge idmap.
The proper fix would be to reduce idmap size. Expect tasks for that soon.
|
2024-02-29 14:42:59 +00:00 |
|