1
78%
master: 79%

DEFAULT BRANCH: master

LAST BUILD BRANCH: gitignore-opam-folder

Ran 05 May 2020 03:57PM UTC

Files 10

Run time 1s

Badge

Committed 5 May 2020 - 15:57 coverage: 77.519%. First build

Job # 145.1

Build Type

push

circleci

Committed by Brendan Long

Commit Message

Always consume all result sets in `execute`

Run Details

300 of 387 relevant lines covered (77.52%)

417.06 hits per line