coveralls
commented
2 months ago Pull Request Test Coverage Report for Build 9542769616
Details
- 0 of 0 changed or added relevant lines in 0 files are covered.
- No unchanged relevant lines lost coverage.
- Overall coverage remained the same at 100.0%
| Totals | |
|---|---|
| Change from base Build 9518554422: | 0.0% |
| Covered Lines: | 90 |
| Relevant Lines: | 90 |
This PR updates the Certora audit report for passkeys with a small edit that they did regarding the informational finding about
PUSH0instruction compatibility.