diff options
| author | Aleksey Kladov <[email protected]> | 2020-08-25 16:59:37 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-08-25 16:59:37 +0100 |
| commit | 7239d8ca951593b66a557c989dffaf94edddf420 (patch) | |
| tree | 69e9ac083b084beca1920e60e7abf528861a06f5 /.github/actions/github-release | |
| parent | 7fcda5aa46808eed478defbd0494c6e11fee2ac6 (diff) | |
Provide better stack trace for overlapping edits
Overlapping indels are a bug. Checking this *always* is tricky (needs
a sorted data structure to not suffer O(N^2) perf). But
opportunistically checking small indels should give provide 80% of the
benefits.
Diffstat (limited to '.github/actions/github-release')
0 files changed, 0 insertions, 0 deletions