1
76%
master: 79%

DEFAULT BRANCH: master

LAST BUILD BRANCH: gitignore-opam-folder

Ran 06 May 2020 08:58AM PDT

Files 10

Run time 1s

Badge

Committed 6 May 2020 - 8:58 coverage: 75.584% (-2.05%) from 77.635%

Job # 157.1

Build Type

circleci

Committed by Brendan Long

Commit Message

Add CHANGES.md

Run Details

291 of 385 relevant lines covered (75.58%)

418.94 hits per line