safe-global / safe-smart-account / 10826162794
94%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 33
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 93.571%. Remained the same
10826162794

push

github

web-flow 
`v1.4.1` Audit Report and Deployment Address (#828)

This PR adds the Audit Report conducted on the Safe Library Migration
Contracts by the Certora Team and updates the `CHANGELOG` with the
contract addresses (cherry picked from
aa1491166)

Closes #785

259 of 292 branches covered (88.7%)

Branch coverage included in aggregate %.

396 of 408 relevant lines covered (97.06%)

100.42 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-$ - 10826162794.1 0
93.57
 GitHub Action Run
Source Files on build 10826162794
Detailed source file information is not available for this build.