Build has been set to done!

safe-global / safe-contracts / 5444439704

Builds Branch Commit Type Ran Committer Via Coverage
5444439704 certora/treshold-ownercount Merge a22e8aaa2 into 64a0851ad Pull #600 web-flow github pending completion   set done
5444268631 certora/treshold-ownercount Merge 4f75e6ca4 into 64a0851ad Pull #600 web-flow github pending completion   set done
5444267868 certora/treshold-ownercount Add owner related invariants push mmv08 github pending completion   set done
5444221711 certora/treshold-ownercount Add owner related invariants push mmv08 github pending completion   set done
5444221944 certora/treshold-ownercount Merge 7898420a8 into 64a0851ad Pull #600 web-flow github pending completion   set done
5444193399 certora/treshold-ownercount Merge fef4110c8 into 64a0851ad Pull #600 web-flow github pending completion   set done
5444187386 certora/treshold-ownercount Add owner related invariants push mmv08 github pending completion   set done
5424585088 release/v1.5.0 Merge 1ba4f55b5 into 64a0851ad Pull #599 web-flow github pending completion   set done
5424217535 release/v1.5.0 Merge 661026765 into 64a0851ad Pull #599 web-flow github pending completion   set done
5424086915 release/v1.5.0 Merge 157b8338b into 64a0851ad Pull #599 GitHub github pending completion   set done
5423708688 release/v1.5.0 tinkering with certora push mmv08 github pending completion   set done
5423709146 release/v1.5.0 Merge c5464cab4 into 64a0851ad Pull #599 web-flow github pending completion   set done
5423552446 release/v1.5.0 Merge 1a8715211 into 64a0851ad Pull #599 web-flow github pending completion   set done
5423551867 release/v1.5.0 fix patch for fv push mmv08 github pending completion   set done
5423538073 release/v1.5.0 fix patch for fv push mmv08 github pending completion   set done