safe-global / safe-contracts / 4992169626

Builds Branch Commit Type Ran Committer Via Coverage
4992169626 feat/memory-safe-assembly Merge 11e3459ef into ad9b3190d Pull #545 GitHub github pending completion   set done
4991451809 feat/memory-safe-assembly Merge branch 'main' of github.com:safe-global/safe-contracts into feat/memory-safe-assembly push Mikhail github pending completion   set done
4991452206 feat/memory-safe-assembly Merge 908b586f6 into ad9b3190d Pull #545 GitHub github pending completion   set done
4991452206 feat/memory-safe-assembly Merge 908b586f6 into ad9b3190d Pull #545 GitHub github pending completion   set done
4991446336 main Merge pull request #560 from safe-global/formal-verification push GitHub github pending completion   set done
4960141331 shelly/cvl2 Merge 3ad53ffe4 into c6fe23efe Pull #562 GitHub github pending completion   set done
4981467030 formal-verification fix script path push Mikhail github pending completion   set done
4981441740 formal-verification fix script path push Mikhail github pending completion   set done
4981442275 formal-verification Merge 8b5d1850d into 4b9c46fcf Pull #560 GitHub github pending completion   set done
4981234581 formal-verification Merge 00f3c76c9 into 4b9c46fcf Pull #560 GitHub github pending completion   set done
4981234332 formal-verification fix script path push Mikhail github pending completion   set done
4981234581 formal-verification Merge 00f3c76c9 into 4b9c46fcf Pull #560 GitHub github pending completion   set done
4981217007 formal-verification Merge 38a2e9404 into 4b9c46fcf Pull #560 GitHub github pending completion   set done
4981217007 formal-verification Merge 38a2e9404 into 4b9c46fcf Pull #560 GitHub github pending completion   set done
4981216700 formal-verification fix script path push Mikhail github pending completion   set done