Upgrading certora CLI #723
Annotations
4 warnings
|
examples/4337-gas-metering/utils/safe.ts#L412
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L36
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L115
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L225
Unexpected any. Specify a different type
|
The logs for this run have expired and are no longer available.
Loading