Prover/feat/Adding field extension support to Smartvectors #1312
bogdanbearrun-smc-tests.yml
on: pull_request
Run smart contracts tests
2m 30s
Solidity format check
1m 8s
Annotations
10 errors and 2 warnings
|
Run smart contracts tests
q0 redeclared in this block
|
|
Run smart contracts tests
other declaration of q0
|
|
Run smart contracts tests
q1 redeclared in this block
|
|
Run smart contracts tests
other declaration of q1
|
|
Run smart contracts tests
q2 redeclared in this block
|
|
Run smart contracts tests
other declaration of q2
|
|
Run smart contracts tests
q3 redeclared in this block
|
|
Run smart contracts tests
other declaration of q3
|
|
Run smart contracts tests
qInvNeg redeclared in this block
|
|
Run smart contracts tests
other declaration of qInvNeg
|
|
Solidity format check
Variable "state" is unused
|
|
Solidity format check
Variable "state" is unused
|