Skip to content

Merge branch 'develop' into tt_1435_slither_diff_chatgpt #42382

Merge branch 'develop' into tt_1435_slither_diff_chatgpt

Merge branch 'develop' into tt_1435_slither_diff_chatgpt #42382

Triggered via push August 20, 2024 11:22
Status Success
Total duration 33s
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