Repo Added
|
Build
548
Last
|
Files
92
|
Badge
Embed ▾
README BADGES
|
push
github
7065 of 12493 relevant lines covered (56.55%)
833.47 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
672 | fix-1066 | Update CHANGES | push | jonludlam | github |
56.55 |
|
671 | fix-1066 | Update CHANGES | push | jonludlam | github |
56.6 |
|
670 | fix-1066 | Simplify extracting idents in `Ident_env` This consolidates the two implementations of finding idents in signatures and assigning them identifiers. Previously there was one for 'extended opens' and the latter was missing some cases. | push | jonludlam | github |
56.6 |
|
669 | fix-1066 | Fix #1066 | push | jonludlam | github |
56.6 |
|
668 | fix-1066 | Fix #1066 | push | jonludlam | github |
56.6 |
|
641 | fix-1066 | Fix #1066 | push | jonludlam | github |
56.52 |
Badge your Repo: odocWe detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.Could not find badge in README. |
Embed ▾
Refresh
README BADGES
|