Prover: connect the codehash and the statesummary module #1260
run-smc-tests.yml
on: pull_request
Run smart contracts tests
3m 10s
Solidity format check
1m 15s
Annotations
1 error and 2 warnings
Run smart contracts tests
Process completed with exit code 1.
|
Solidity format check
Variable "state" is unused
|
Solidity format check
Variable "state" is unused
|