srepollock / divine-engine / faa0a44a89a854a564d83a86f3b1a0e8ead1d394-PR-89 / 1
100%
master: 100%

LAST BUILD BRANCH: hotfix/postinstall
DEFAULT BRANCH: master
Ran
Files 7
Run time 0s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 100.0%. First build
faa0a44a89a854a564d83a86f3b1a0e8ead1d394-PR-89.1

Pull #89

github

GitHub 
<a href="https://github.com/srepollock/divine-engine/commit/<a class=hub.com/srepollock/divine-engine/commit/<a class="double-link" href="https://git"><a class=hub.com/srepollock/divine-engine/commit/<a class="double-link" href="https://git"><a class=hub.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394">faa0a44a8<a href="https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/srepollock/divine-engine/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/srepollock/divine-engine/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394&quot;&gt;faa0a44a8&lt;/a&gt;&lt;a href=&quot;https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8&lt;/a&gt;ead1d394&quot;>&quot;&gt;Merge &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/srepollock/divine-engine/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/srepollock/divine-engine/commit/<a class="double-link" href="https://github.com/srepollock/divine-engine/commit/764b023428cd6cfc321edc7e9520fa9fa626028c">764b02342</a><a href="https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394">&amp;quot;&amp;gt;764b02342&amp;lt;/a&amp;gt;&amp;quot;&amp;gt;764b02342&amp;lt;/a&amp;gt;&amp;lt;a href=&amp;quot;https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d&lt;/a&gt;394&quot;&gt; into &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/srepollock/divine-engine/commit/<a class="double-link" href="https://github.com/srepollock/divine-engine/commit/2ef5fbc2d">2ef5fbc2d">2ef5fbc2d</a>
Pull Request #89: Feature/GitHub actions

34 of 34 branches covered (100.0%)

Branch coverage included in aggregate %.

234 of 234 relevant lines covered (100.0%)

9.58 hits per line

Source Files on job faa0a44a89a854a564d83a86f3b1a0e8ead1d394-PR-89.1