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

LAST BUILD BRANCH: opam_0_7_2
DEFAULT BRANCH: main
Ran
Files 81
Run time 2s
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.1

push

github

franziskuskiefer 
Merge branch 'main' into dev

27829 of 51483 relevant lines covered (54.05%)

1266254.19 hits per line

Source Files on job 7058563693.1