1
78%
master: 79%

DEFAULT BRANCH: master

LAST BUILD BRANCH: gitignore-opam-folder

Ran 05 May 2020 04:25PM UTC

Files 10

Run time 1s

Badge

Committed 5 May 2020 - 16:25 coverage: 77.692% (+0.2%) from 77.494%

Job # 149.1

Build Type

push

circleci

Committed by Brendan Long

Commit Message

Skip non-row result sets

Run Details

303 of 390 relevant lines covered (77.69%)

421.51 hits per line