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

LAST BUILD BRANCH: opam_0_7_2
DEFAULT BRANCH: main
Ran
Jobs 1
Files 86
Run time 3s
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
5829256841

push

github

franziskuskiefer 
Merge branch 'main' into dev

28938 of 54844 relevant lines covered (52.76%)

1403619.72 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5829256841.1 86
52.76
 GitHub Action Run
Source Files on build 5829256841