mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-15 01:52:42 +03:00
8cd72daf20
In certain cases +find-merge-points was very slow. Specifically, the `done` set was meant to avoid checking the same commit repeatedly, but it didn't catch the case where a commit was added to the worklist that was already in that worklist. Secondly, the worklist was stored as a list but used as a queue, which resulted in a lot of unnecessary welding. We change it to a qeu. Fixes #3735 |
||
|---|---|---|
| .. | ||
| arvo | ||
| ent | ||
| ge-additions | ||
| herb | ||
| hs | ||
| interface | ||
| libaes_siv | ||
| urbit | ||