3103
83%

Ran 12 Sep 2024 05:46AM UTC

Jobs 1

Files 289

Run time 1min

Badge

Committed 12 Sep 2024 05:46AM UTC coverage: 83.404% (+0.3%) from 83.134%

Build # 3103

Build Type

push

github

Committed by

Commit Message

test derive Arbitrary (#978)

* add UInt64::default, @quickcheck.gen

* fix typo

* use uint64 popcnt

Run Details

4 of 7 new or added lines in 2 files covered. (57.14%)

3915 of 4694 relevant lines covered (83.4%)

14245448.73 hits per line

Lines	Coverage	∆	File
1	50.0		builtin/uint64.mbt
2	25.0	25.0%	quickcheck/arbitrary.mbt

ID	Job ID	Ran	Files	Coverage
1	3103.1	12 Sep 2024 05:46AM UTC	290	83.45	GitHub Action Run