mpyw / EasyCrypt / 970668838
90%
master: 100%

LAST BUILD BRANCH: claude/php-8.5-support
DEFAULT BRANCH: master
Ran
Jobs 1
Files 9
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
970668838

Pull #4

github

GitHub 
<a href="https://github.com/mpyw/EasyCrypt/commit/<a class=hub.com/mpyw/EasyCrypt/commit/<a class="double-link" href="https://git"><a class=hub.com/mpyw/EasyCrypt/commit/<a class="double-link" href="https://git"><a class=hub.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b">163c0ab34<a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/mpyw/EasyCrypt/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/mpyw/EasyCrypt/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/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b&quot;&gt;163c0ab34&lt;/a&gt;&lt;a href=&quot;https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbce&lt;/a&gt;ad4a376b">&quot;&gt;Merge &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/mpyw/EasyCrypt/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/mpyw/EasyCrypt/commit/<a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/5b90367eb55bd3acc78e1cad4059ab732553f7a7">5b90367eb</a><a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b">&amp;quot;&amp;gt;5b90367eb&amp;lt;/a&amp;gt;&amp;quot;&amp;gt;5b90367eb&amp;lt;/a&amp;gt;&amp;lt;a href=&amp;quot;https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a3&lt;/a&gt;76b&quot;&gt; into &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/mpyw/EasyCrypt/commit/<a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/48148c6bb">48148c6bb">48148c6bb</a>
Pull Request #4: Support PHP 8.x & Migrate to GitHub Actions

37 of 41 relevant lines covered (90.24%)

2.88 hits per line

Jobs
ID Job ID Ran Files Coverage
1 970668838.1 0
90.24
 GitHub Action Run
Source Files on build 970668838