diff options
| author | Aleksey Kladov <[email protected]> | 2021-03-29 21:15:12 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2021-03-29 21:15:12 +0100 |
| commit | b35312d4af305e86e360235150cddc263d4adc4a (patch) | |
| tree | 76d3d06c68364681c5445caaf74628331704afcc /.github/workflows/ci.yaml | |
| parent | 2381a54c2f6ff1d97b9d6cb982dde5644f09a396 (diff) | |
internal: ensure that runaway type-inference doesn't block the main loop
We have a bug where type-checking `per_query_memory_usage` takes a
couple of seconds. It also reveals another bug: our type inference is
not cancellable.
Diffstat (limited to '.github/workflows/ci.yaml')
0 files changed, 0 insertions, 0 deletions