safe-global / safe-contracts / 5716130495 / 1
93%
main: 94%

LAST BUILD BRANCH: feature-719-rename-repository
DEFAULT BRANCH: main
Ran
Files 40
Run time 0s
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.976%. Remained the same
5716130495.1

push

github

GitHub 
Merge pull request #629 from jhoenicke/certoraOwnerReach

157 of 168 branches covered (93.45%)

Branch coverage included in aggregate %.

311 of 330 relevant lines covered (94.24%)

51.34 hits per line

Source Files on job 5716130495.1