|
Ran
|
Jobs
2
|
Files
43
|
Run time
2min
|
Badge
README BADGES
|
push
github
`v1.5.0` Audit Report by Ackee (#983) This pull request updates the documentation to include details about the audit for version 1.5.0, performed by Certora and Ackee. The changes add references to the audit files and provide additional context about the auditors and their findings. ### Documentation updates: * [`README.md`](diffhunk://#diff-b33563055ac04c6bf87428ed5106870f5R112): Added a link to the audit documentation for version 1.5.0, performed by Certora and Ackee. * [`docs/audit_1_5_0.md`](diffhunk://#diff-16a7a881e6541b331ef2f90bd3c2616bcR6-R25): Updated auditor information to include Ackee alongside Certora, added notes specific to each auditor's findings, and provided separate links to their respective audit reports.
327 of 368 branches covered (88.86%)
Branch coverage included in aggregate %.
491 of 503 relevant lines covered (97.61%)
104.17 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Safe - 15560263085.1 | 43 |
93.34 |
GitHub Action Run | |
| 2 | run-SafeL2 - 15560263085.2 | 43 |
93.92 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|