Skip to content
safe-modules-4337-gas-metering

Certora Script Update & Minor changes #707

Sign in to view logs

Certora Script Update & Minor changes

Certora Script Update & Minor changes #707

Triggered via push July 22, 2024 08:23
@remedcuremedcu
pushed f23ada4
certora-script
Status Success
Total duration 1m 29s
Artifacts –

ci_4337_gas_metering.yml

on: push
checks
1m 21s
checks
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
checks: examples/4337-gas-metering/utils/safe.ts#L412
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L36
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L115
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L225
Unexpected any. Specify a different type