safe-global / safe-contracts / 5999345529

Builds Branch Commit Type Ran Committer Via Coverage
5999345529 main Merge pull request #637 from safe-global/bug/comment-typo push GitHub github
93.19
5977582711 deps-bump Remove depth option from the runs with quantifiers Pull #641 mmv08 github
92.78
5977582957 deps-bump Merge ef9c7e981 into 3b146b5d5 Pull #641 web-flow github
92.78
5977553482 main Merge pull request #643 from safe-global/bug/certora-unresolved-setup-fix push GitHub github
93.19
5976861692 fv/checkSignatures add updates to checkSignatures Pull #636 teryanarmen github
93.19
5976862310 fv/checkSignatures Merge 414c04458 into af488f0a6 Pull #636 web-flow github
93.19
5974123615 bug/certora-unresolved-setup-fix Fix unresolved setup call from the constructor Pull #643 Mikhail github
93.19
5973864808 deps-bump split certora depth Pull #641 mmv08 github
92.78
5964509896 refs/pull/641/merge Merge f7e49f253 into af488f0a6 Pull #641 GitHub github
92.78
5964509070 deps-bump split certora depth Pull #641 Mikhail github
92.78
5964290649 refs/pull/641/merge Merge ad40d7d4c into af488f0a6 Pull #641 GitHub github
92.78
5964290001 deps-bump split certora depth Pull #641 Mikhail github
92.78
5963237955 deps-bump fix benchmarks Pull #641 Mikhail github
92.78
5963238469 refs/pull/641/merge Merge 4c1629b68 into af488f0a6 Pull #641 GitHub github
92.78
5955348056 refs/pull/636/merge Merge 0ddb77c90 into af488f0a6 Pull #636 GitHub github
93.19