ubiquity / ubiquity-dollar / 5373241674

Builds Branch Commit Type Ran Committer Via Coverage
5373241674 update-solidity-warnings Merge 1e00305c5 into 6480b7ac7 Pull #704 web-flow github
63.52
5373213141 update-solidity-warnings Merge c114bb9b4 into 6480b7ac7 Pull #704 web-flow github
63.52
5371521414 update-solidity-warnings Merge 9e0fab5d6 into 6480b7ac7 Pull #704 web-flow github
63.49
5370785468 development Merge 9940d468a into 6480b7ac7 Pull #681 web-flow github
63.52
5368522430 smt-checker Merge 2a1b1f2bc into 6480b7ac7 Pull #702 web-flow github
63.51
5367978496 update-solidity-warnings Merge c78226d73 into 6480b7ac7 Pull #704 web-flow github
63.52
5367889933 update-solidity-warnings Merge 3d53f1c5c into 6480b7ac7 Pull #704 web-flow github
63.49
5367764885 update-solidity-warnings Merge 0f5f3b2d7 into 6480b7ac7 Pull #704 web-flow github
63.49
5367747371 update-solidity-warnings Merge d78230625 into 6480b7ac7 Pull #704 web-flow github
63.49
5366466318 smt-checker Merge ab1a2b5b7 into 6480b7ac7 Pull #702 web-flow github
63.51
5366358338 smt-checker Merge 69cedc429 into 6480b7ac7 Pull #702 web-flow github
63.51
5366302854 smt-checker Merge aa2109926 into 6480b7ac7 Pull #702 web-flow github
63.51
5365708084 smt-checker Merge 0b1f13863 into 6480b7ac7 Pull #702 web-flow github
63.51
5365708081 smt-checker Merge 0b1f13863 into 6480b7ac7 Pull #702 web-flow github
63.51
5365397678 update-solidity-warnings Merge 0aad006a1 into 6480b7ac7 Pull #704 web-flow github
63.52