Ran
|
Jobs
1
|
Files
86
|
Run time
5min
|
Badge
README BADGES
|
github
7720 of 16620 new or added lines in 81 files covered. (46.45%)
71 existing lines in 24 files now uncovered.27624 of 51955 relevant lines covered (53.17%)
1254752.8 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
15.15 |
-0.04% | src/EverCrypt_DRBG.c |
1 |
86.46 |
-0.18% | src/Hacl_GenericField64.c |
1 |
89.47 |
0.28% | src/Hacl_K256_ECDSA.c |
1 |
85.87 |
-1.2% | src/Hacl_RSAPSS.c |
1 |
93.01 |
-0.09% | src/Hacl_Streaming_Poly1305_128.c |
2 |
28.55 |
-0.28% | src/EverCrypt_AEAD.c |
2 |
8.84 |
0.11% | src/Hacl_Bignum32.c |
2 |
8.84 |
0.11% | src/Hacl_Bignum64.c |
2 |
0.0 |
0.0% | src/Hacl_SHA2_Vec128.c |
3 |
61.84 |
-1.28% | src/Hacl_Bignum4096_32.c |
3 |
62.15 |
-1.2% | src/Hacl_Bignum4096.c |
3 |
0.0 |
0.0% | src/Hacl_EC_Ed25519.c |
3 |
0.0 |
0.0% | src/Hacl_EC_K256.c |
3 |
0.0 |
0.0% | src/Hacl_Frodo1344.c |
3 |
0.0 |
0.0% | src/Hacl_Frodo640.c |
3 |
0.0 |
0.0% | src/Hacl_Frodo64.c |
3 |
0.0 |
0.0% | src/Hacl_Frodo976.c |
3 |
87.96 |
0.1% | src/Hacl_Streaming_Blake2.c |
4 |
64.99 |
-2.91% | src/Hacl_Bignum256_32.c |
4 |
66.2 |
-2.71% | src/Hacl_Bignum256.c |
4 |
0.0 |
0.0% | src/Hacl_SHA2_Vec256.c |
6 |
88.06 |
0.44% | src/EverCrypt_HMAC.c |
6 |
91.66 |
0.58% | src/Hacl_HMAC.c |
7 |
86.99 |
-4.79% | src/EverCrypt_AutoConfig2.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 6939781748.1 | 86 |
53.17 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|