Add view modifier to IVerifier.verifyEmailProof (#15) #129
benceharomiaction.yml
on: push
run_circuit_tests
8m 3s
run_helpers_tests
1m 8s
run_contracts_tests
1m 7s
Annotations
10 warnings
|
run_contracts_tests
global import of path @openzeppelin/contracts/utils/Strings.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
run_contracts_tests
global import of path @openzeppelin/contracts/utils/cryptography/ECDSA.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
run_contracts_tests
global import of path @zk-email/contracts/DKIMRegistry.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
run_contracts_tests
Use Custom Errors instead of revert statements
|
|
run_contracts_tests
Use Custom Errors instead of require statements
|
|
run_contracts_tests
Rule is set with explicit type [var/s: uint]
|
|
run_contracts_tests
Rule is set with explicit type [var/s: uint]
|
|
run_contracts_tests
Rule is set with explicit type [var/s: uint]
|
|
run_contracts_tests
Rule is set with explicit type [var/s: uint]
|
|
run_contracts_tests
Rule is set with explicit type [var/s: uint]
|