Skip to content

Merge branch 'develop' into ng/udsc-query #56227

Merge branch 'develop' into ng/udsc-query

Merge branch 'develop' into ng/udsc-query #56227

Triggered via push November 26, 2024 09:50
Status Success
Total duration 35s
Artifacts
Detect changes
7s
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