Skip to content

removing dot seperator in path (#15120) #52874

removing dot seperator in path (#15120)

removing dot seperator in path (#15120) #52874

Triggered via push November 5, 2024 16:02
Status Success
Total duration 27s
Artifacts
Detect changes
8s
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