Skip to content

Rename per review comment #56547

Rename per review comment

Rename per review comment #56547

Triggered via push November 27, 2024 16:30
Status Success
Total duration 31s
Artifacts
Detect changes
9s
Detect changes
Solidity ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
0s
Solidity ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
Solidity
0s
Solidity
Fit to window
Zoom out
Zoom in