safe-global / safe-contracts / 6013236961

Builds Branch Commit Type Ran Committer Via Coverage
6013236961 feature/1.4.1-migration Merge 2e6ac22e9 into 2ca8143fa Pull #649 web-flow github
89.73
6013169248 refs/pull/648/merge Merge d123ab952 into 2ca8143fa Pull #648 GitHub github
92.78
6013168516 certora/moduleExecutionRule add a rule for module transaction executions Pull #648 mmv08 github
92.78
6013152484 feature/1.4.1-migration Add a 1.3.0 -> 1.4.1 migration contract push mmv08 github
90.97
6012749996 refs/pull/648/merge Merge 958bb23dd into 2ca8143fa Pull #648 GitHub github
92.78
6012738158 certora/moduleExecutionRule add a rule for module transaction executions Pull #648 Mikhail github
92.78
6011854081 chore/remove-outdated-networks remove ewc and volta from the hardhat config Pull #647 mmv08 github
92.78
6010009662 main Merge pull request #646 from safe-global/feat/signature-decoder-optimization Use byte instead of and in the SignatureDecoderContract push web-flow github
91.52
6010007406 main Merge pull request #645 from safe-global/certora/cleanup Formal verification: Remove rules overlapping with rules in OwnerReach.spec push web-flow github
91.52
6001005315 feat/signature-decoder-optimization Merge 28dfa5926 into 2648cca42 Pull #646 web-flow github
92.78
6000951531 feat/signature-decoder-optimization Use byte instead of and in the SignatureDecoderContract push mmv08 github
92.78
6000622646 refs/pull/645/merge Merge 0e4db0724 into 2648cca42 Pull #645 GitHub github
92.78
6000602030 certora/cleanup Remove rules overlapping with rules in OwnerReach.spec push Mikhail github
92.78
5999462738 main Merge pull request #641 from safe-global/deps-bump push GitHub github
92.78
5999347502 main Merge pull request #639 from safe-global/docs/1.5.0-changelog Add 1.5.0 changelog push web-flow github
93.19