1
77%
master: 77%

Ran 08 Jul 2020 10:47AM UTC

Files 201

Run time 24s

Badge

Committed 08 Jul 2020 10:47AM UTC coverage: 76.195% (-0.05%) from 76.248%

Build Type

push

github

Committed by GitHub

Commit Message

Check witnesses on isStandard (#1754)

Run Details

2961 of 4404 branches covered (67.23%)

Branch coverage included in aggregate %.

10313 of 13017 relevant lines covered (79.23%)

509654.11 hits per line