1428
89%
main: 98%

Ran 29 Sep 2025 08:02AM UTC

Jobs 1

Files 256

Run time 1min

Badge

Committed 29 Sep 2025 08:01AM UTC coverage: 89.342% (-0.009%) from 89.351%

Build # 1428

Build Type

github

Committed by

Commit Message

fix(splitmix): remove Default, use new instead
- It would generate all-zero seeds, which affects randomness

Run Details

9321 of 10433 relevant lines covered (89.34%)

197748.88 hits per line

Lines	Coverage	∆	File
1	91.67	-2.78%	quickcheck/splitmix/random.mbt

ID	Job ID	Ran	Files	Coverage
1	1428.1	29 Sep 2025 08:02AM UTC	257	89.37	GitHub Action Run