Skip to content

Merge branch 'develop' into feature/oti-head-report #42067

Merge branch 'develop' into feature/oti-head-report

Merge branch 'develop' into feature/oti-head-report #42067

Triggered via push August 15, 2024 13:02
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
6s
Solidity
Fit to window
Zoom out
Zoom in