commit: 4be47cd68f83402d0859fb5d49047aae6d8b63ad

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

Fri Nov 06 15:48:48 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Fri Nov 06 15:48:48 2026 -0300
tree: 5b3680fc950c16a9126faab8bed5e1d4d2c122c2
parent: 07f5e96357f76d0fd0281463b99c7dd4306bc778 [diff]

perf: stop awaiting each socket write in the HTTP server

src/Std/Http/Server/Connection.lean[diff]
src/Std/Http/Transport.lean[diff]
src/Std/Http/Transport/Outbox.lean[Added - diff]
tests/async/elab/async_http_tcp_write_path.lean[Added - diff]
tests/async/elab/async_http_write_failure.lean[Added - diff]

5 files changed

tree: 5b3680fc950c16a9126faab8bed5e1d4d2c122c2

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.