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/57f702ba8f1e30ff6a788e3e8c8fd9fe3fc1dee6">57f702ba8<a href="https://github.com/nimbly/Proof/commit/57f702ba8f1e30ff6a788e3e8c8fd9fe3fc1dee6">">Merge </a><a class="double-link" href="https://github.com/nimbly/Proof/commit/<a class="double-link" href="https://github.com/nimbly/Proof/commit/3bd02fef79a23943cedbdd36f9cdd654a18ad5b8">3bd02fef7</a>">3bd02fef7</a><a href="https://github.com/nimbly/Proof/commit/57f702ba8f1e30ff6a788e3e8c8fd9fe3fc1dee6"> into ee0c6b2c4">ee0c6b2c4</a>
107 of 111 relevant lines covered (96.4%)
3.39 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|