Skip to content
Smart contracts test

Prover/Constraint for IsInsertRow3 (#147) #585

Sign in to view logs

Prover/Constraint for IsInsertRow3 (#147)

Prover/Constraint for IsInsertRow3 (#147) #585

Triggered via push October 26, 2024 09:38
@AlexandreBellingAlexandreBelling
pushed db82f0f
main
Status Success
Total duration 5m 59s
Artifacts –

run-smc-tests.yml

on: push
Run smart contracts tests
5m 51s
Run smart contracts tests
Solidity format check
1m 20s
Solidity format check
Fit to window
Zoom out
Zoom in

Annotations

6 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
Found more than One contract per file. 24 contracts found!
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/setup-go@v4, actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/