Prover: new beta-v1 contract #1335
run-smc-tests.yml
on: pull_request
Run smart contracts tests
4m 11s
Solidity format check
58s
Annotations
2 warnings
Solidity format check
Variable "state" is unused
|
Solidity format check
Variable "state" is unused
|