safe-global / safe-modules / 7277596230

Builds Branch Commit Type Ran Committer Via Coverage
7277596230 certora/spec-fixes Merge branch 'master' of github.com:safe-global/safe-modules into certora/spec-fixes Pull #193 mmv08 github
13.55
7277593366 master Merge pull request #194 from safe-global/ci/fix-certora-branch-name Fix branch name in the certora ci workflow push web-flow github
13.55
7277584856 ci/fix-certora-branch-name Fix branch name in the certora ci workflow push mmv08 github
13.55
7277552029 certora/spec-fixes Spec file fixes, remove redundant requires/harnesses Pull #193 mmv08 github
13.55
7276763371 gas-metering Gelato Based Gas Results Added Pull #175 remedcu github
100.0
7265551640 master 4337 module formal verification (#162) This PR is related to #142 Changes in PR: - Setup spec files, and configuration files for Formal Verification using Certora - Setup harnesses contracts - Add GitHub workflow file Rules Implemented:... push web-flow github
13.55
7264891918 gas-metering Lint issue rectified Pull #175 remedcu github
100.0
7264837766 feature/webauthn-poc Fix parse the sig push mmv08 github
13.55
7264835849 gas-metering Formatting Changes Pull #175 remedcu github
100.0
7263044786 feature-142-4337-module-formal-verification Fix getOperationHash sig Pull #162 mmv08 github
13.72
7260344594 feature-142-4337-module-formal-verification Fix getOperationHash sig Pull #162 mmv08 github
13.72
7251631878 master Merge pull request #192 from safe-global/feat/update-vendored-fc Vendor: Update vendored FCL code push web-flow github
13.55
7250088412 feat/update-vendored-fc Update vendored FCL code Pull #192 mmv08 github
13.55
7222805335 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
7222802430 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