Pin Certora CLI Version in CI

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

Pin Certora CLI Version in CI #730

Closed nlordell closed 8 months ago

nlordell commented 8 months ago

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.

coveralls commented 8 months ago

Pull Request Test Coverage Report for Build 7503375506

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.551%

Totals
Change from base Build 7476408467:	0.0%
Covered Lines:	395
Relevant Lines:	403

💛 - Coveralls

remedcu commented 8 months ago

It will be solved with this one: #728 (Will merge as soon as the checks get finished).

P.S. = -> ==