Skip to content

Rename file after merge conflict #15842

Rename file after merge conflict

Rename file after merge conflict #15842

Triggered via push December 13, 2023 23:07
Status Success
Total duration 42s
Artifacts
Detect changes
9s
Detect changes
Split Solidity Tests
17s
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
8s
Solidity
Fit to window
Zoom out
Zoom in