commit: e006edd7a12fef3c4bca20aa3c16e2c751e059ca

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

Wed Jan 21 19:41:01 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed Jan 21 19:41:01 2026 -0300
tree: 2388ffe0fd461364a9709c95b7d464039970af59
parent: 017c99b58131d3f589053bb07b8af223ec8d8120 [diff]

feat: make tests smaller, add functions

src/Std/Internal/Http/Data/Header/Name.lean[diff]
src/Std/Internal/Http/Data/Headers.lean[diff]
src/Std/Internal/Http/Data/Request.lean[diff]
src/Std/Internal/Http/Data/Response.lean[diff]
src/Std/Internal/Http/Data/Status.lean[diff]
src/Std/Internal/Http/Data/URI.lean[diff]
src/Std/Internal/Http/Data/URI/Basic.lean[diff]
src/Std/Internal/Http/Protocol/H1.lean[diff]
tests/lean/run/async_http_body.lean[Added - diff]
tests/lean/run/async_http_connection.lean[diff]
tests/lean/run/async_http_connection_limits.lean[Deleted - diff]
tests/lean/run/async_http_connection_streaming.lean[Deleted - diff]
tests/lean/run/async_http_headers.lean[Added - diff]
tests/lean/run/async_http_parser.lean[diff]
tests/lean/run/async_http_raw.lean[Deleted - diff]
tests/lean/run/async_http_server.lean[Renamed from tests/lean/run/async_http_compliance.lean - diff]
tests/lean/run/async_http_uri.lean[Added - diff]
tests/lean/run/async_http_uri_api.lean[Deleted - diff]
tests/lean/run/async_http_uri_encoding.lean[Deleted - diff]
tests/lean/run/async_http_uri_parser.lean[Deleted - diff]
tests/lean/run/async_http_uri_tostring.lean[Deleted - diff]

21 files changed

tree: 2388ffe0fd461364a9709c95b7d464039970af59

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.