Skip to content

fix: complete bodyless HTTP responses on the client instead of stalling - #14062

Merged
algebraic-dev merged 71 commits into
masterfrom
sofia/async-http-h1-head-framing
Jul 23, 2026
Merged

fix: complete bodyless HTTP responses on the client instead of stalling#14062
algebraic-dev merged 71 commits into
masterfrom
sofia/async-http-h1-head-framing

Conversation

@algebraic-dev

Copy link
Copy Markdown
Member

This PR makes the HTTP/1.1 client correctly finish reading responses that carry no body (head responses)

algebraic-dev and others added 30 commits May 26, 2026 17:40
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@algebraic-dev
algebraic-dev changed the base branch from sofia/async-http-stream-close-error to master July 23, 2026 21:20
@algebraic-dev
algebraic-dev added this pull request to the merge queue Jul 23, 2026
Merged via the queue into master with commit d2a1500 Jul 23, 2026
19 checks passed
robsimmons pushed a commit that referenced this pull request Jul 29, 2026
…ng (#14062)

This PR makes the HTTP/1.1 client correctly finish reading responses
that carry no body (head responses)

---------

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog-library Library toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants