Repo Added
|
Files
4
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
4997 of 6397 relevant lines covered (78.11%)
1.45 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
3576 | 1111 | Add information about skolems to type errors | push | paf31 | travis-ci | pending completion |