coveralls
commented
1 year ago Pull Request Test Coverage Report for Build 3585087089
- 0 of 0 changed or added relevant lines in 0 files are covered.
- 308 unchanged lines in 3 files lost coverage.
- Overall coverage decreased (-0.5%) to 53.485%
| Files with Coverage Reduction | New Missed Lines | % | ||
|---|---|---|---|---|
| src/EverCrypt_AutoConfig2.c | 4 | 82.1% | ||
| src/EverCrypt_Curve25519.c | 11 | 67.65% | ||
| src/Hacl_Curve25519_64.c | 293 | 0% | ||
| <!-- | Total: | 308 | --> |
| Totals | |
|---|---|
| Change from base Build 3585059982: | -0.5% |
| Covered Lines: | 32922 |
| Relevant Lines: | 61554 |
duesee
This PR ~updates hacl-star,~ adds the possibility to update Vale through mach, and updates Vale through mach. ~Making the hacl-star update first helped with the Vale update.~