Ci: Pin certora cli - Githubissues

safe-global / safe-smart-account

Safe allows secure management of blockchain assets.

https://safe.global

GNU Lesser General Public License v3.0

1.84k stars 907 forks source link

Ci: Pin certora cli #703

Closed mmv08 closed 10 months ago

coveralls commented 10 months ago

Pull Request Test Coverage Report for Build 6875388499

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage remained the same at 94.567%

Totals
Change from base Build 6861389476:	0.0%
Covered Lines:	397
Relevant Lines:	405

💛 - Coveralls