1
86%
master: 86%

Ran 11 Dec 2019 12:55PM UTC

Files 24

Run time 1s

Badge

Committed 11 Dec 2019 12:55PM UTC coverage: 80.889% (+0.4%) from 80.479%

Build Type

push

github

Committed by GitHub

Commit Message

Restrictions on `Integer` and `Map` (#260)

Run Details

745 of 987 branches covered (75.48%)

Branch coverage included in aggregate %.

1367 of 1624 relevant lines covered (84.17%)

3538.19 hits per line