Skip to content

Feat/598 soundness alerting #1725

Feat/598 soundness alerting

Feat/598 soundness alerting #1725

Triggered via pull request February 7, 2025 11:47
Status Success
Total duration 4m 17s
Artifacts

run-smc-tests.yml

on: pull_request
Run smart contracts tests
4m 9s
Run smart contracts tests
Solidity format check
1m 9s
Solidity format check
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Solidity format check
Found more than One contract per file. 9 contracts found!
Solidity format check
Found more than One contract per file. 6 contracts found!
Solidity format check
Variable "state" is unused
Solidity format check
Variable "state" is unused