8
100%
master: 100%

Ran 19 Jan 2021 04:20PM UTC

Files 3

Run time 1s

Badge

Committed 19 Jan 2021 04:18PM UTC coverage: 100.0% (+3.4%) from 96.599%

Build Type

push

github

Committed by John Haugeland

Commit Message

Reacquire 100% coverage, fixes #555

Coverage Stats

270 of 270 branches covered (100.0%)

Branch coverage included in aggregate %.

316 of 316 relevant lines covered (100.0%)

4177.33 hits per line