1
85%
master: 44%

Ran 30 Oct 2020 07:34PM UTC

Files 18

Run time 4s

Badge

Committed 30 Oct 2020 07:34PM UTC coverage: 84.615% (+2.0%) from 82.66%

Build Type

push

github

Committed by James Dabbs

Commit Message

Add tests for theorem hydration

Run Details

166 of 212 branches covered (78.3%)

Branch coverage included in aggregate %.

714 of 828 relevant lines covered (86.23%)

3.93 hits per line