Skip to content

Merge branch 'develop' into chore/release-2.7.1-to-develop #47246

Merge branch 'develop' into chore/release-2.7.1-to-develop

Merge branch 'develop' into chore/release-2.7.1-to-develop #47246

Triggered via push November 28, 2023 23:03
Status Success
Total duration 33s
Artifacts

solidity.yml

on: push
Detect changes
11s
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
4s
Solidity Lint
Prettier Formatting
4s
Prettier Formatting
Fit to window
Zoom out
Zoom in