Ran
|
Files
13
|
Run time
0s
|
Badge
Embed ▾
README BADGES
|
travis-ci-com
<a href="https://github.com/nimbly/Proof/commit/<a class=hub.com/nimbly/Proof/commit/5ccd5e07450bc66603ec017c9e01ddd7a185f8f3">5ccd5e074<a href="https://github.com/nimbly/Proof/commit/5ccd5e07450bc66603ec017c9e01ddd7a185f8f3">">Merge </a><a class="double-link" href="https://github.com/nimbly/Proof/commit/<a class="double-link" href="https://github.com/nimbly/Proof/commit/a64a8c316150f2cd549437711c70e8e1de944336">a64a8c316</a>">a64a8c316</a><a href="https://github.com/nimbly/Proof/commit/5ccd5e07450bc66603ec017c9e01ddd7a185f8f3"> into ee0c6b2c4">ee0c6b2c4</a>
109 of 111 relevant lines covered (98.2%)
3.5 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|