6631
89%

Ran 12 Sep 2026 07:31AM UTC

Jobs 1

Files 448

Run time 1min

Badge

Committed 12 Sep 2026 07:28AM UTC coverage: 89.314%. Remained the same

Build # 6631

Build Type

push

github

Committed by

Commit Message

fix(quickcheck): exclude unchanged Float shrink candidates

Coverage Stats

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

16441 of 18408 relevant lines covered (89.31%)

271069.53 hits per line

ID	Job ID	Ran	Files	Coverage
1	6631.1	12 Sep 2026 07:31AM UTC	449	89.33	GitHub Action Run