Repo Added
|
Files
15
|
Badge
Embed ▾
README BADGES
|
push
circleci
6 of 6 new or added lines in 1 file covered. (100.0%)
653 of 974 relevant lines covered (67.04%)
505.73 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
562 | ptime | Run through ocamlformat | push | Brendan Long | circleci | pending completion |