Feature: Signatures rule fix by restoring the prover options from the original PR

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

Feature: Signatures rule fix by restoring the prover options from the original PR #680

Closed mmv08 closed 11 months ago

mmv08 commented 11 months ago

The checkSignatures verification timed out on the CI on main. I looked into it, and the reason could be the options we pass to the prover. I restored the options from the original PR from Jochen in an attempt to fix this.

Fixes #681

github-actions[bot] commented 11 months ago

Pull Request Test Coverage Report for Build 6493493145

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

Totals
Change from base Build 6493185840:	0.0%
Covered Lines:	368
Relevant Lines:	377

💛 - Coveralls

github-actions[bot] commented 11 months ago

Pull Request Test Coverage Report for Build 6493493356

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

Totals
Change from base Build 6493185840:	0.0%
Covered Lines:	368
Relevant Lines:	377