Skip to content

Merge branch 'develop' into add-wasm-workers #53984

Merge branch 'develop' into add-wasm-workers

Merge branch 'develop' into add-wasm-workers #53984

Triggered via push November 13, 2024 10:57
Status Success
Total duration 30s
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