10986538805
74%

Ran 23 Sep 2024 02:18AM UTC

Jobs 1

Files 210

Run time 1min

Badge

Committed 23 Sep 2024 02:13AM UTC coverage: 72.673% (-0.1%) from 72.781%

Build Type

push

github

Committed by

Commit Message

optimize DivRem (#1173)

* optimize DivRem

* update comments; no overflow check

Run Details

4205 of 6223 branches covered (67.57%)

Branch coverage included in aggregate %.

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

11161 of 14921 relevant lines covered (74.8%)

20266.35 hits per line

ID	Job ID	Ran	Files	Coverage
1	10986538805.1	23 Sep 2024 02:18AM UTC	210	72.67	GitHub Action Run