1435
92%

Ran 30 Sep 2025 02:03AM UTC

Jobs 1

Files 254

Run time 1min

Badge

Committed 30 Sep 2025 02:03AM UTC coverage: 89.189% (-0.009%) from 89.198%

Build # 1435

Build Type

push

github

Committed by

Commit Message

fix(splitmix): explicit impl Default using new

Run Details

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

1 existing line in 1 file now uncovered.

9265 of 10388 relevant lines covered (89.19%)

198606.14 hits per line

Lines	Coverage	∆	File
1	91.89	-2.55%	quickcheck/splitmix/random.mbt

ID	Job ID	Ran	Files	Coverage
1	1435.1	30 Sep 2025 02:03AM UTC	255	89.22	GitHub Action Run