2
100%
main: 100%

Ran 13 Apr 2021 03:25AM UTC

Files 48

Run time 5s

Badge

Committed 13 Apr 2021 03:25AM UTC coverage: 99.228% (-0.08%) from 99.304%

Build Type

push

github

Committed by GitHub

Commit Message

Merge pull request #78 from eriknw/cdiv_semirings

Run Details

1839 of 1867 branches covered (98.5%)

Branch coverage included in aggregate %.

7670 of 7716 relevant lines covered (99.4%)

0.99 hits per line