Ran
|
Jobs
1
|
Files
87
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
push
github
30398 of 56881 relevant lines covered (53.44%)
1489813.3 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
96.79 |
0.0% | src/Hacl_Chacha20.c |
2 |
42.44 |
0.0% | src/Hacl_Chacha20_Vec128.c |
2 |
36.81 |
0.0% | src/Hacl_Chacha20_Vec256.c |
2 |
99.31 |
0.0% | src/Hacl_Hash_Blake2.c |
2 |
86.74 |
0.0% | src/Hacl_Poly1305_128.c |
2 |
89.81 |
0.0% | src/Hacl_Poly1305_256.c |
2 |
77.57 |
0.0% | src/Hacl_Poly1305_32.c |
4 |
74.25 |
0.0% | src/Hacl_Hash_Blake2b_256.c |
4 |
73.68 |
0.0% | src/Hacl_Hash_Blake2s_128.c |
4 |
0.0 |
0.0% | src/Hacl_HPKE_P256_CP128_SHA256.c |
4 |
0.0 |
0.0% | src/Hacl_HPKE_P256_CP256_SHA256.c |
4 |
0.0 |
0.0% | src/Hacl_HPKE_P256_CP32_SHA256.c |
12 |
0.0 |
0.0% | src/Hacl_SHA2_Vec128.c |
18 |
21.15 |
0.0% | src/Hacl_EC_K256.c |
23 |
8.79 |
0.0% | src/Hacl_Bignum64.c |
24 |
62.84 |
0.0% | src/Hacl_Bignum4096.c |
38 |
91.28 |
-8.72% | src/Hacl_Hash_SHA1.c |
120 |
87.91 |
-2.14% | src/Hacl_Streaming_SHA2.c |
164 |
78.54 |
0.26% | src/EverCrypt_Hash.c |
249 |
81.98 |
-18.02% | src/Hacl_Hash_MD5.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 4252436588.1 | 87 |
53.44 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|