Skip to content

Rename keys with dashes #25286

Rename keys with dashes

Rename keys with dashes #25286

Triggered via push March 22, 2024 08:55
Status Success
Total duration 46s
Artifacts
Detect changes
6s
Detect changes
Split Solidity Tests
21s
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