|
Ran
|
Jobs
2
|
Files
13
|
Run time
–
|
Badge
README BADGES
|
travis-ci-com
<a href="https://github.com/nimbly/Proof/commit/<a class=hub.com/nimbly/Proof/commit/<a class="double-link" href="https://git"><a class=hub.com/nimbly/Proof/commit/<a class="double-link" href="https://git"><a class=hub.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d">fde03dd1a<a href="https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d">">&lt;a href=&quot;https://github.com/nimbly/Proof/commit/</a><a class="double-link" href="https://github.com/nimbly/Proof/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d">fde03dd1a</a><a href="https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d">&lt;a href=&quot;https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c237</a>65e9b62d">">Merge </a><a class="double-link" href="https://github.com/nimbly/Proof/commit/<a class="double-link" href="https://github.com/nimbly/Proof/commit/<a class="double-link" href="https://github.com/nimbly/Proof/commit/7b5f844e6ade3cb33816d487d959728aa0407532">7b5f844e6</a><a href="https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d">&quot;&gt;7b5f844e6&lt;/a&gt;&quot;&gt;7b5f844e6&lt;/a&gt;&lt;a href=&quot;https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b</a>62d"> into </a><a class="double-link" href="https://github.com/nimbly/Proof/commit/<a class="double-link" href="https://github.com/nimbly/Proof/commit/ee0c6b2c4">ee0c6b2c4">ee0c6b2c4</a>
45 of 45 new or added lines in 4 files covered. (100.0%)
109 of 111 relevant lines covered (98.2%)
7.01 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 36.1 | 0 |
98.2 |
Travis Job 36.1 | |
| 2 | 36.2 | 0 |
98.2 |
Travis Job 36.2 |