Ran
|
Jobs
1
|
Files
86
|
Run time
3s
|
Badge
README BADGES
|
github
383 of 383 new or added lines in 20 files covered. (100.0%)
29050 of 55000 relevant lines covered (52.82%)
1189985.62 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
67.62 |
-0.01% | src/EverCrypt_Hash.c |
1 |
42.42 |
-0.02% | src/Hacl_Chacha20_Vec128.c |
1 |
36.79 |
-0.02% | src/Hacl_Chacha20_Vec256.c |
1 |
0.0 |
0.0% | src/Hacl_Frodo_KEM.c |
1 |
56.06 |
0.09% | src/Hacl_Hash_SHA3.c |
1 |
0.0 |
0.0% | src/Hacl_Streaming_Poly1305_256.c |
3 |
0.0 |
0.0% | src/Hacl_FFDHE.c |
4 |
15.19 |
-0.03% | src/EverCrypt_DRBG.c |
7 |
19.61 |
-0.39% | src/EverCrypt_Poly1305.c |
189 |
28.84 |
0.6% | src/EverCrypt_AEAD.c |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
91.78 |
7.21% | src/EverCrypt_AutoConfig2.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 6481771568.1 | 86 |
52.82 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|