Skip to content

Prover linting: remove the G115 rule (#34) #47

Prover linting: remove the G115 rule (#34)

Prover linting: remove the G115 rule (#34) #47

Triggered via push September 13, 2024 11:30
Status Success
Total duration 4m 31s
Artifacts
Run smart contracts tests
4m 24s
Run smart contracts tests
Solidity format check
32s
Solidity format check
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
Solidity format check
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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
Solidity format check
Variable "state" is unused
Solidity format check
Variable "state" is unused
Run smart contracts tests
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/