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/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

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