aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-03-29 21:39:36 +0100
committerGitHub <[email protected]>2021-03-29 21:39:36 +0100
commitb3ca06e4fd8fe3a3ab081c55ecaa1ec3e79fe18d (patch)
tree127b4ce4b52e53d15b83727d3bf96c3a875c809f /.github/workflows
parent9bae3ecdffed957b50bb35e6e6a84e8d6b410032 (diff)
parentb35312d4af305e86e360235150cddc263d4adc4a (diff)
Merge #8247
8247: internal: ensure that runaway type-inference doesn't block the main loop r=flodiebold a=matklad 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. Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions