5888
92%

Ran 28 Mar 2025 08:14PM UTC

Jobs 1

Files 203

Run time 1min

Badge

Committed 28 Mar 2025 08:13PM UTC coverage: 92.417%. Remained the same

Build # 5888

Build Type

push

github

Committed by

Commit Message

make write_char defaultable

Run Details

0 of 1 new or added line in 1 file covered. (0.0%)

5570 of 6027 relevant lines covered (92.42%)

145019.4 hits per line

Lines	Coverage	∆	File
1	90.0	0.0%	builtin/traits.mbt

ID	Job ID	Ran	Files	Coverage
1	5888.1	28 Mar 2025 08:14PM UTC	204	92.35	GitHub Action Run