mpyw / EasyCrypt / 970668838 / 1
90%
master: 98%

LAST BUILD BRANCH: mpyw-patch-1
DEFAULT BRANCH: master
Ran
Files 9
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: 88.372%. First build
970668838.1

Pull #4

github

GitHub 
<a href="https://github.com/mpyw/EasyCrypt/commit/<a class=hub.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b">163c0ab34<a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b">">Merge </a><a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/<a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/5b90367eb55bd3acc78e1cad4059ab732553f7a7">5b90367eb</a>">5b90367eb</a><a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b"> into 48148c6bb">48148c6bb</a>
Pull Request #4: Support PHP 8.x & Migrate to GitHub Actions

38 of 43 relevant lines covered (88.37%)

2.77 hits per line

Source Files on job 970668838.1