Fix: Certora CI action - 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

Fix: Certora CI action #591

Closed mmv08 closed 1 year ago

mmv08 commented 1 year ago

The certora CI action broke here: https://github.com/safe-global/safe-contracts/pull/590 - Failed run

It broke because the version of the certora-cli-beta wasn't pinned, and it installed a new version with breaking changes for the keyword to pass settings to the prover (settings changed to prover_args). This PR:

Adjust the keyword
Pin version on the excellent version number 4.2.0 (the latest available at the moment)

github-actions[bot] commented 1 year ago

Pull Request Test Coverage Report for Build 5282493914

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 92.8%

Totals
Change from base Build 5282368557:	0.0%
Covered Lines:	308
Relevant Lines:	330

safe-global / safe-smart-account

Fix: Certora CI action #591

Pull Request Test Coverage Report for Build 5282493914

💛 - Coveralls