Skip to content

Merge branch 'develop' into guard-mercury-opts #16151

Merge branch 'develop' into guard-mercury-opts

Merge branch 'develop' into guard-mercury-opts #16151

Triggered via push December 18, 2023 17:03
Status Success
Total duration 45s
Artifacts
Detect changes
8s
Detect changes
Split Solidity Tests
19s
Split Solidity Tests
Matrix: solidity-coverage-splits
Matrix: solidity-splits
Solidity Coverage ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
0s
Solidity Coverage ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
Solidity
5s
Solidity
Fit to window
Zoom out
Zoom in