safe-global / safe-smart-account / 10939061231

Builds Branch Commit Type Ran Committer Via Coverage
10939061231 safeToL2Migration-zksync SafeToL2Migration tests push mmv08 github
13.29
10921941671 migration-tests-zksync Merge 1efa97279 into 7ccf6e00b Pull #833 web-flow github
93.57
10921605248 migration-tests-zksync support zksync in migration tests push mmv08 github
93.57
10920545864 main Docs: Update README (#831) Co-authored-by: Mikhail <16622558+mmv08@users.noreply.github.com> Co-authored-by: Nicholas Rodrigues Lordello <n@lordello.net> push web-flow github
93.57
10920519345 patch-1 Merge efddc14b8 into fddfd1478 Pull #831 web-flow github
93.57
10906910030 migration-tests-zksync support zksync in migration tests push mmv08 github
6.0
10882359522 main Migration Contract FV (#832) Based on #829 Some extra changes: - Adding FV to Certora Workflow - Remove the unused `data` from the `SafeMock`. - EOF and some capitalization changes - Parametric argument to some rules --------- Co-au... push web-flow github
93.57
10882025386 migration-fv rename to lowercase Pull #832 nlordell github
93.57
10881944841 migration-fv Minor changes to specs Pull #832 nlordell github
93.57
10881680459 migration-fv Merge 544b8432c into 92295314e Pull #832 web-flow github
93.57
10881635862 migration-fv Minor changes to specs push remedcu github
93.57
10833197680 certora-setup-and-migration-audit Merge 6d28aec3e into 92295314e Pull #829 web-flow github
93.57
10833086175 v1.4.1-2 `v1.4.1` Audit Report and Deployment Address (#826) This PR adds the Audit Report conducted on the Safe Library Migration Contracts by the Certora Team and updates the `CHANGELOG` with the contract addresses. push web-flow github
94.2
10826162794 main `v1.4.1` Audit Report and Deployment Address (#828) This PR adds the Audit Report conducted on the Safe Library Migration Contracts by the Certora Team and updates the `CHANGELOG` with the contract addresses (cherry picked from aa14911666deb13... push web-flow github
93.57
10826078326 v1.4.1-audit-changes `v1.4.1` Audit Report and Deployment Address (#826) This PR adds the Audit Report conducted on the Safe Library Migration Contracts by the Certora Team and updates the `CHANGELOG` with the contract addresses. Pull #828 remedcu github
93.57