cryspen / hacl-packages / 7058563693
59%
main: 48%

LAST BUILD BRANCH: opam_0_7_2
DEFAULT BRANCH: main
Ran
Jobs 1
Files 81
Run time 6min
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: 54.055% (+1.3%) from 52.764%
7058563693

push

github

franziskuskiefer 
Merge branch 'main' into dev

10739 of 20855 new or added lines in 78 files covered. (51.49%)

85 existing lines in 25 files now uncovered.

27829 of 51483 relevant lines covered (54.05%)

1266254.19 hits per line

Jobs
ID Job ID Ran Files Coverage
1 7058563693.1 0
54.05
 GitHub Action Run
Source Files on build 7058563693
Detailed source file information is not available for this build.