safe-global / safe-contracts / 7503664597
94%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 31
Run time 3s
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: 94.575%. Remained the same
7503664597

push

github

web-flow 
Pin Certora CLI Version in CI (#730)

This PR pins the Certora CLI version in CI. We started seeing unrelated
failures because of, what appears to be, incompatibilities with the new
version.

247 of 276 branches covered (0.0%)

Branch coverage included in aggregate %.

398 of 406 relevant lines covered (98.03%)

97.24 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-$ - 7503664597.1 31
94.57
 GitHub Action Run
Source Files on build 7503664597