4f337e5b6e6ece3c63cc8394af2f5d2f64a66026-PR-520
90%
main: 91%

Ran 27 Sep 2026 08:01PM UTC

Jobs 1

Files 22

Run time 1min

Badge

Embed ▾

Committed 27 Sep 2026 07:57PM UTC coverage: 90.374% (+0.2%) from 90.169%

Build # 4f337e5b6e6ece3c63cc8394af2f5d2f64a66026-PR-520

Build Type

Pull #520

github

Committed by

ericmj

Commit Message

Check flow control and body sizes in the HTTP/2 fuzz property

Scenarios now vary the request method, the client settings, the
connection window and its refill threshold, and the server's handshake
settings. The server keeps its own view of the connection window from
the DATA payloads it sent and the WINDOW_UPDATE frames it received, and
the property checks it against Mint's window after every segment, that
increments are within 1..2^31-1, that a completed response's body size
matches a valid content-length, that HEAD, 204 and 304 responses have no
body, and that open_request_count/1 matches the unfinished requests.

Pull Request Pull Request #520: Add fuzz properties for HTTP/1 and HTTP/2 connections

Coverage Stats

1765 of 1953 relevant lines covered (90.37%)

712.82 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	4f337e5b6e6ece3c63cc8394af2f5d2f64a66026-PR-520.1	27 Sep 2026 08:01PM UTC	22	90.37	GitHub Action Run

elixir-mint / mint / 4f337e5b6e6ece3c63cc8394af2f5d2f64a66026-PR-520
90%
main: 91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4f337e5b6e6ece3c63cc8394af2f5d2f64a66026-PR-520

elixir-mint / mint / 4f337e5b6e6ece3c63cc8394af2f5d2f64a66026-PR-520 90% main: 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4f337e5b6e6ece3c63cc8394af2f5d2f64a66026-PR-520

elixir-mint / mint / 4f337e5b6e6ece3c63cc8394af2f5d2f64a66026-PR-520
90%
main: 91%

README BADGES
x