Process completed with exit code 1.

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)

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)

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)

Use Custom Errors instead of revert statements

Use Custom Errors instead of require statements

Rule is set with explicit type [var/s: uint]

Rule is set with explicit type [var/s: uint]

Rule is set with explicit type [var/s: uint]

Rule is set with explicit type [var/s: uint]