6991
93%
main: 97%

Ran 30 May 2025 06:16AM UTC

Jobs 1

Files 209

Run time 1min

Badge

Committed 30 May 2025 06:15AM UTC coverage: 92.505% (+0.001%) from 92.504%

Build # 6991

Build Type

github

Committed by

Commit Message

Merge dc3106f38 into 3d7040d52

Run Details

2 of 3 new or added lines in 1 file covered. (66.67%)

8738 of 9446 relevant lines covered (92.5%)

216911.72 hits per line

Lines	Coverage	∆	File
1	91.67	0.24%	quickcheck/arbitrary.mbt

ID	Job ID	Ran	Files	Coverage
1	6991.1	30 May 2025 06:16AM UTC	210	92.45	GitHub Action Run