• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

safe-global / safe-contracts / 5282493528
93%
main: 94%

Build:
Build:
LAST BUILD BRANCH: feature-719-rename-repository
DEFAULT BRANCH: main
Ran 15 Jun 2023 06:49PM UTC
Jobs 2
Files 39
Run time 2s
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

pending completion
5282493528

push

github

mmv08
Fix certora CI action

156 of 170 branches covered (91.76%)

Branch coverage included in aggregate %.

308 of 330 relevant lines covered (93.33%)

105.86 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5282493528.1 15 Jun 2023 06:49PM UTC 0
92.8
GitHub Action Run
2 5282493528.2 15 Jun 2023 06:49PM UTC 0
94.2
GitHub Action Run
Source Files on build 5282493528
Detailed source file information is not available for this build.
  • Back to Repo
  • 7e463880 on github
  • Prev Build on fix/certora-ci (#5282319307)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc