mpyw / EasyCrypt
90%
master: 100%

LAST BUILD BRANCH: v4.1.3
DEFAULT BRANCH: master
Repo Added
Files 13
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

LAST BUILD ON BRANCH support-php8
branch: support-php8
CHANGE BRANCH
x

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

Relevant lines Covered
41 RELEVANT LINES 37 COVERED LINES
2.88 HITS PER LINE
Source Files on support-php8

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
970668838 support-php8 <a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab34">&lt;a href=&quot;https://github.com/mpyw/EasyCrypt/commit/</a><a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/&lt;a class=&quot;doubl... Pull #4 GitHub github pending completion  
970668838 support-php8 <a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab34">Merge </a><a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/5b90367eb">5b90367eb</a><a href="https://git... Pull #4 GitHub github pending completion  
970668838 support-php8 <a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab34">Merge </a><a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/5b90367eb">5b90367eb</a><a href="https://git... Pull #4 GitHub github pending completion  
970668838 support-php8 <a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab34">Merge </a><a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/5b90367eb">5b90367eb</a><a href="https://git... Pull #4 GitHub github pending completion  
970668838 support-php8 <a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab34">Merge </a><a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/5b90367eb">5b90367eb</a><a href="https://git... Pull #4 GitHub github pending completion  
970668790 support-php8 docs: ✏️ Add Badges push mpyw github pending completion  
970662610 support-php8 Merge 51ffb754e into 48148c6bb Pull #4 GitHub github pending completion  
970662610 support-php8 Merge 51ffb754e into 48148c6bb Pull #4 GitHub github pending completion  
970662610 support-php8 Merge 51ffb754e into 48148c6bb Pull #4 GitHub github pending completion  
970662610 support-php8 Merge 51ffb754e into 48148c6bb Pull #4 GitHub github pending completion  
See All Builds (87)