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

LAST BUILD BRANCH: hotfix/postinstall
DEFAULT BRANCH: master
Ran
Jobs 1
Files 7
Run time 1s
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
faa0a44a89a854a564d83a86f3b1a0e8ead1d394-PR-89

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 %.

5 of 5 new or added lines in 2 files covered. (100.0%)

234 of 234 relevant lines covered (100.0%)

9.58 hits per line

Jobs
ID Job ID Ran Files Coverage
1 faa0a44a89a854a564d83a86f3b1a0e8ead1d394-PR-89.1 0
100.0
 GitHub Action Run
Source Files on build faa0a44a89a854a564d83a86f3b1a0e8ead1d394-PR-89
Detailed source file information is not available for this build.