safe-global / safe-modules / 7222798329

Builds Branch Commit Type Ran Committer Via Coverage
7222798329 feature-142-4337-module-formal-verification Merge branch 'master' of github.com:safe-global/safe-modules into feature-142-4337-module-formal-verification push mmv08 github
13.72
7222759239 feature-142-4337-module-formal-verification Update 4337/certora/conf/TransactionExecutionMethods.conf Co-authored-by: Nicholas Rodrigues Lordello <nick@safe.global> Pull #162 web-flow github
13.72
7222734840 gas-metering signUserOperation was updated Pull #175 remedcu github
100.0
7220100747 gas-metering Pimlico Code Redundancy Removed Pull #175 remedcu github
100.0
7210427114 gas-metering Cleaned up Pull #175 remedcu github
100.0
7210422039 gas-metering Code Refactoring push remedcu github
100.0
7208912363 feature-142-4337-module-formal-verification Merge branch 'master' of github.com:safe-global/safe-modules into feature-142-4337-module-formal-verification Pull #162 mmv08 github
13.72
7208759564 feature-142-4337-module-formal-verification Fix validation data rule Pull #162 mmv08 github
100.0
7208661671 feature-142-4337-module-formal-verification Fix validation data rule Pull #162 mmv08 github
100.0
7208645891 feature-142-4337-module-formal-verification Fix validation data rule Pull #162 mmv08 github
100.0
7208636729 feature-142-4337-module-formal-verification Fix validation data rule push mmv08 github
100.0
7208262769 feature-142-4337-module-formal-verification Fix validation data rule Pull #162 mmv08 github
100.0
7208043078 feature-142-4337-module-formal-verification Fix validation data rule Pull #162 mmv08 github
100.0
7208031698 feature-142-4337-module-formal-verification Fix validation data rule Pull #162 mmv08 github
100.0
7208018577 feature-142-4337-module-formal-verification Fix validation data rule Pull #162 mmv08 github
100.0