Prover: new beta-v1 contract (#504) #1340
run-smc-tests.yml
on: push
Run smart contracts tests
5m 54s
Solidity format check
57s
Annotations
2 warnings
Solidity format check
Variable "state" is unused
|
Solidity format check
Variable "state" is unused
|