Repo Added
|
Files
4
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
4917 of 6250 relevant lines covered (78.67%)
1.46 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
3465 | 1335 | Add test case | push | paf31 | travis-ci | pending completion | |
3463 | 1335 | Fix #1335, track scoped type variables when skolemizing | push | paf31 | travis-ci | pending completion |