safe-global / safe-contracts / 5310400361

Builds Branch Commit Type Ran Committer Via Coverage
5310400361 certora/safe-is-setup Merge 4ab27cb7e into bf943f80f Pull #592 web-flow github pending completion   set done
5310383809 certora/safe-is-setup Formal verification: Add invariant 'safeIsSetup' push akshay-ap github pending completion   set done
5309137165 wip-eip-1271-fix [#391] Add comment in natspec regarding unused data parameter push akshay-ap github pending completion   set done
5282493528 fix/certora-ci Fix certora CI action push mmv08 github pending completion   set done
5282187210 fix/certora-ci Fix certora CI action push mmv08 github pending completion   set done
5282160165 fix/certora-ci Fix certora CI action push mmv08 github pending completion   set done
5282160530 fix/certora-ci Merge e6a045f32 into 36a07feb3 Pull #591 web-flow github pending completion   set done
5282144101 fix/certora-ci Merge 9166cebd3 into 36a07feb3 Pull #591 web-flow github pending completion   set done
5282143287 fix/certora-ci Fix certora CI action push mmv08 github pending completion   set done
5282068420 fix/certora-ci Merge d0074a9d7 into 36a07feb3 Pull #591 web-flow github pending completion   set done
5282068133 fix/certora-ci Fix certora CI action push mmv08 github pending completion   set done
5282045441 fix/certora-ci Merge 1400f52f9 into 36a07feb3 Pull #591 web-flow github pending completion   set done
5282043615 fix/certora-ci Fix certora CI action push mmv08 github pending completion   set done
5255902931 wip-eip-1271-fix Remove use of outdated EIP-1271 method specification. push akshay-ap github pending completion   set done
5255799204 v1_3_0_zksync Update factory push rmeissner github pending completion   set done