Feat/multi dict prover (#553) #1527
Tabaierun-smc-tests.yml
on: push
Run smart contracts tests
14m 39s
Solidity format check
1m 17s
Annotations
1 error and 2 warnings
|
Run smart contracts tests
The self-hosted runner: consensys-runner-deployment-general-small-g94kd-fr746 lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
Solidity format check
Variable "state" is unused
|
|
Solidity format check
Variable "state" is unused
|