Skip to content

Merge branch 'develop' into rtinianov_notopt #51680

Merge branch 'develop' into rtinianov_notopt

Merge branch 'develop' into rtinianov_notopt #51680

Triggered via push January 23, 2024 15:16
Status Success
Total duration 46s
Artifacts

solidity.yml

on: push
Detect changes
6s
Detect changes
Prepublish Test ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
0s
Prepublish Test ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
Native Compilation ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
0s
Native Compilation ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
Solidity Lint
5s
Solidity Lint
Prettier Formatting
5s
Prettier Formatting
Fit to window
Zoom out
Zoom in