1433
89%
main: 98%

Ran 29 Sep 2025 12:53PM UTC

Jobs 1

Files 254

Run time 1min

Badge

Committed 29 Sep 2025 12:51PM UTC coverage: 89.189% (-0.009%) from 89.198%

Build # 1433

Build Type

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	1433.1	29 Sep 2025 12:53PM UTC	255	89.22	GitHub Action Run