Skip to content

Merge branch 'develop' into chore/cleanup-explorer-2 #39938

Merge branch 'develop' into chore/cleanup-explorer-2

Merge branch 'develop' into chore/cleanup-explorer-2 #39938

Triggered via push September 20, 2023 15:52
Status Success
Total duration 20s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

solidity.yml

on: push
Detect changes
7s
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')] }}
Lint ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
0s
Lint ${{ fromJSON('["(skipped)", ""]')[(needs.changes.outputs.changes == 'true')] }}
Prettier Formatting
0s
Prettier Formatting
Fit to window
Zoom out
Zoom in