| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 5357020354 | update-solidity-warnings | Merge c11ddb18c into ad8e02cb9 | Pull #704 | github |
63.52 |
||
| 5356900460 | update-solidity-warnings | Merge 9fd54b657 into ad8e02cb9 | Pull #704 | github |
63.49 |
||
| 5356781264 | update-solidity-warnings | Merge 03f8a188e into ad8e02cb9 | Pull #704 | github |
63.49 |
||
| 5356717812 | update-solidity-warnings | Merge 38d1464bb into ad8e02cb9 | Pull #704 | github |
63.49 |
||
| 5356703252 | smt-checker | Merge fe96d5f3a into ad8e02cb9 | Pull #702 | github |
63.51 |
||
| 5356561592 | update-solidity-warnings | Merge 08633d9ff into ad8e02cb9 | Pull #704 | github |
63.49 |
||
| 5354444774 | development-ci-workflow | Merge bb4035096 into ad8e02cb9 | Pull #703 | github |
63.51 |
||
| 5353878132 | development | Merge pull request #700 from rndquu/fix/upload-coverage | push | github |
63.51 |
||
| 5344457087 | fix/upload-coverage | Merge 1a64a2b99 into 08a85455f | Pull #700 | github |
63.51 |