safe-global / safe-core-protocol / 6221521229

Builds Branch Commit Type Ran Committer Via Coverage
6221521229 feature-95-formal-verification Merge branch 'main' of github.com:safe-global/safe-core-protocol into feature-95-formal-verification Pull #96 Akshay github
100.0
6220588711 feature-95-formal-verification [#95] Fix README, add newline at end of file Pull #96 Akshay github
100.0
6220516197 feature-95-formal-verification [#95] Install dependencies by running yarn --frozen-lockfile Pull #96 akshay-ap github
100.0
6220183574 feature-95-formal-verification Merge 40f1b8cf7 into 8e86b6ff6 Pull #96 GitHub github
100.0
6220183246 feature-95-formal-verification [#95] Add param --solc in verifyManager.sh Pull #96 Akshay github
100.0
6220112889 feature-95-formal-verification [#95] Add execute permission to script Pull #96 Akshay github
100.0
6220113223 feature-95-formal-verification Merge dddcbf5bf into 8e86b6ff6 Pull #96 GitHub github
100.0
6198884656 fix/func-handler-interface Merge ddb938e27 into 8e86b6ff6 Pull #102 GitHub github
100.0
6198873652 fix/func-handler-interface Update handler interface params Pull #102 Misha github
100.0
6198605179 main :Bump version, add deployments (#101) push web-flow github
100.0
6198606599 gh-readonly-queue/main/pr-101-80daa439b2777eaa64ff69140ca19981c6a420b9 :Bump version, add deployments (#101) push GitHub github
100.0
6198572555 version-bump-alpha-021 :Bump version, add deployments Pull #101 mmv08 github
100.0
6198572983 version-bump-alpha-021 Merge e6bf326fe into 80daa439b Pull #101 web-flow github
100.0
6198412550 version-bump-alpha-021 :Bump version, add deployments Pull #101 mmv08 github
100.0
6198194630 version-bump-alpha-021 Merge 29db88454 into 80daa439b Pull #101 GitHub github
100.0