5672
90%
main: 90%

Ran 29 Jul 2026 07:56AM UTC

Jobs 1

Files 455

Run time 1min

Badge

Committed 29 Jul 2026 07:54AM UTC coverage: 90.441% (-0.01%) from 90.452%

Build # 5672

Build Type

github

Committed by

Commit Message

Merge 8163b9b48 into 361859336

Coverage Stats

40 of 40 new or added lines in 2 files covered. (100.0%)

2 existing lines in 2 files now uncovered.

15857 of 17533 relevant lines covered (90.44%)

173539.77 hits per line

Lines	Coverage	∆	File
1	98.48	-1.52%	quickcheck/arbitrary.mbt
1	95.74	-2.13%	random/random.mbt

ID	Job ID	Ran	Files	Coverage
1	5672.1	29 Jul 2026 07:56AM UTC	456	90.46	GitHub Action Run