safe-global / safe-contracts / 5453384237

Builds Branch Commit Type Ran Committer Via Coverage
5453384237 certora/treshold-ownercount Merge branch 'main' of github.com:safe-global/safe-contracts into certora/treshold-ownercount push Mikhail github pending completion   set done
5453368227 certora/treshold-ownercount Merge branch 'main' of github.com:safe-global/safe-contracts into certora/treshold-ownercount push mmv08 github pending completion   set done
5453368630 certora/treshold-ownercount Merge 33c87c57c into 325aa47fe Pull #600 web-flow github pending completion   set done
5452687675 certora/treshold-ownercount Merge d2d87c375 into 64a0851ad Pull #600 web-flow github pending completion   set done
5452687195 certora/treshold-ownercount Add owner related invariants push mmv08 github pending completion   set done
5452668697 certora/treshold-ownercount Merge 15e7d2710 into 64a0851ad Pull #600 web-flow github pending completion   set done
5445847721 certora/treshold-ownercount Merge bb2e9a78e into 64a0851ad Pull #600 GitHub github pending completion   set done
5445847237 certora/treshold-ownercount Add owner related invariants push Mikhail github pending completion   set done
5445268413 certora/treshold-ownercount Merge 44b44e10a into 64a0851ad Pull #600 web-flow github pending completion   set done
5445267743 certora/treshold-ownercount Add owner related invariants push Mikhail github pending completion   set done
5445017464 certora/treshold-ownercount Merge 1796284d5 into 64a0851ad Pull #600 GitHub github pending completion   set done
5445016871 certora/treshold-ownercount Add owner related invariants push mmv08 github pending completion   set done
5444662061 certora/treshold-ownercount Add owner related invariants push mmv08 github pending completion   set done
5444662721 certora/treshold-ownercount Merge 6a916c98b into 64a0851ad Pull #600 GitHub github pending completion   set done
5444439311 certora/treshold-ownercount Add owner related invariants push mmv08 github pending completion   set done