commit: 29c6984c972170cb1609fc112a011753ab120ad3

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Tue Oct 13 19:12:27 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Sun Nov 01 18:06:28 2026 -0300
tree: 3b83b50e04646984df6d3d53d5a7b775896debbb
parent: e1a79578c0466d14d46247e0645a472c248655d7 [diff]

feat: cancel queued libuv threadpool requests at exit

src/runtime/uv/dns.cpp[diff]
src/runtime/uv/event_loop.cpp[diff]
src/runtime/uv/event_loop.h[diff]
src/runtime/uv/system.cpp[diff]
tests/compile/uv_exit_requests.lean[Added - diff]
tests/compile/uv_exit_requests.lean.out.expected[Added - diff]

6 files changed

tree: 3b83b50e04646984df6d3d53d5a7b775896debbb

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.