1
91%
master: 91%

Ran 03 Oct 2020 02:26PM UTC

Files 2

Run time 0s

Badge

Committed 03 Oct 2020 02:26PM UTC coverage: 89.61% (+0.3%) from 89.333%

Build Type

push

circleci

Committed by GitHub

Commit Message

Type-safe type checks (#127)

Run Details

15 of 19 branches covered (78.95%)

Branch coverage included in aggregate %.

54 of 58 relevant lines covered (93.1%)

19.28 hits per line