• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

mpyw / EasyCrypt
90%
master: 100%

Build:
Build:
LAST BUILD BRANCH: v4.1.3
DEFAULT BRANCH: master
Repo Added 09 Aug 2016 01:03PM UTC
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
Reset
  • support-php8
  • dev
  • feat/hmac
  • master
  • mpyw-patch-1
  • refactoring
  • v4.0.1
  • v4.1.0
  • v4.1.1
  • v4.1.2
  • v4.1.3

pending completion
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
Build:
Build:
41 RELEVANT LINES 37 COVERED LINES
2.88 HITS PER LINE
Source Files on support-php8
  • Tree
  • List 9
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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 25 Jun 2021 07:44AM UTC 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 25 Jun 2021 07:44AM UTC 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 25 Jun 2021 07:44AM UTC 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 25 Jun 2021 07:44AM UTC 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 25 Jun 2021 07:43AM UTC GitHub github pending completion  
970668790 support-php8 docs: ✏️ Add Badges push 25 Jun 2021 07:43AM UTC mpyw github pending completion  
970662610 support-php8 Merge 51ffb754e into 48148c6bb Pull #4 25 Jun 2021 07:41AM UTC GitHub github pending completion  
970662610 support-php8 Merge 51ffb754e into 48148c6bb Pull #4 25 Jun 2021 07:40AM UTC GitHub github pending completion  
970662610 support-php8 Merge 51ffb754e into 48148c6bb Pull #4 25 Jun 2021 07:40AM UTC GitHub github pending completion  
970662610 support-php8 Merge 51ffb754e into 48148c6bb Pull #4 25 Jun 2021 07:40AM UTC GitHub github pending completion  
See All Builds (87)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc