cryspen / hacl-packages / 9565668261
48%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 82
Run time 2min
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: 48.135% (-5.9%) from 54.055%
9565668261

push

github

web-flow 
Merge pull request #461 from cryspen/franziskus/update-hacl-star

update hacl star

1867 of 10088 new or added lines in 12 files covered. (18.51%)

24 existing lines in 6 files now uncovered.

29403 of 61085 relevant lines covered (48.13%)

1067323.66 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
6
15.15
 0.0% src/EverCrypt_DRBG.c
34
0.0
 0.0% src/Hacl_Frodo1344.c
34
0.0
 0.0% src/Hacl_Frodo64.c
34
0.0
 0.0% src/Hacl_Frodo640.c
34
0.0
 0.0% src/Hacl_Frodo976.c
36
66.81
 -1.02% src/EverCrypt_Hash.c
130
86.6
 -9.86% src/Hacl_Hash_Blake2s.c
133
86.09
 -9.58% src/Hacl_Hash_Blake2b.c
141
65.98
 -1.88% src/Hacl_Hash_Blake2b_Simd256.c
316
32.55
 -10.01% src/Hacl_Hash_Blake2s_Simd128.c
786
51.18
 3.23% src/Hacl_Hash_SHA3.c
6537
0.0
 src/Hacl_Hash_SHA3_Simd256.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
86.6
 -9.86% src/Hacl_Hash_Blake2s.c
1
86.09
 -9.58% src/Hacl_Hash_Blake2b.c
1
65.98
 -1.88% src/Hacl_Hash_Blake2b_Simd256.c
2
64.29
 -4.46% src/Lib_RandomBuffer_System.c
9
32.55
 -10.01% src/Hacl_Hash_Blake2s_Simd128.c
10
51.18
 3.23% src/Hacl_Hash_SHA3.c
Jobs
ID Job ID Ran Files Coverage
1 9565668261.1 82
48.13
 GitHub Action Run
Source Files on build 9565668261