Prover/Compile grand product #1381
arijitdutta67run-smc-tests.yml
on: pull_request
Run smart contracts tests
6m 7s
Solidity format check
1m 30s
Annotations
9 warnings
|
Solidity format check
Immutable variables name are set to be in capitalized SNAKE_CASE
|
|
Solidity format check
Fallback function must be simple
|
|
Solidity format check
Found more than One contract per file. 9 contracts found!
|
|
Solidity format check
Found more than One contract per file. 6 contracts found!
|
|
Solidity format check
global import of path @openzeppelin/contracts/token/ERC20/ERC20.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Solidity format check
global import of path @openzeppelin/contracts/access/Ownable.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Solidity format check
Found more than One contract per file. 24 contracts found!
|
|
Solidity format check
Variable "state" is unused
|
|
Solidity format check
Variable "state" is unused
|