Skip to content

Merge branch 'develop' into gha/arm-runners #47018

Merge branch 'develop' into gha/arm-runners

Merge branch 'develop' into gha/arm-runners #47018

Triggered via push September 25, 2024 17:21
Status Success
Total duration 30s
Artifacts
Detect changes
7s
Detect changes
Solidity ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
0s
Solidity ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
Solidity
5s
Solidity
Fit to window
Zoom out
Zoom in