1
45%
master: 45%

Ran 08 Sep 2025 04:00PM UTC

Files 118

Run time 7s

Badge

Embed ▾

Committed 08 Sep 2025 03:37PM UTC coverage: 43.399% (+0.06%) from 43.344%

Job # 17556167245.1

Build Type

push

github

Committed by

web-flow

Commit Message

improve port `write` (#501)

* don't flush on write

the spec doesn't say anything about flushing, and there is a procedure
specifically to flushing, so i think it makes a lot more sense to not
always flush for performance reasons, as always flushing kind of defeats
the point of buffered-writing.

additionally, when `strace`-ing guile, it doesn't flush on write either.

* remove now-redundant write_and_flush macro

since there is now only one call, as the flush call is no longer there,
i can actually just inline it and it's actually shorter.

* use write_all over just write

calls to write can just decide not to write the entire input to the
buffer, so use `write_all`, which is a lot more sensible.

Run Details

12360 of 28480 relevant lines covered (43.4%)

3042379.02 hits per line

mattwparas / steel / 17556167245 / 1
45%
master: 45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 17556167245.1

mattwparas / steel / 17556167245 / 1 45% master: 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 17556167245.1

mattwparas / steel / 17556167245 / 1
45%
master: 45%

README BADGES
x