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

fix certora conf #601

Sign in to view logs

fix certora conf

fix certora conf #601

Triggered via push June 24, 2024 14:53
@mmv08mmv08
pushed 9e23b01
425-gas-benchmarking-in-4337-tests-outputs-gas-used-for-the-transaction-instead-of-useroperation-gas
Status Success
Total duration 1m 20s
Artifacts –

ci_4337_gas_metering.yml

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

Annotations

10 warnings
checks: examples/4337-gas-metering/utils/safe.ts#L412
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L37
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L38
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L39
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L40
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L41
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L42
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L46
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L47
Unexpected any. Specify a different type
checks: examples/4337-gas-metering/utils/userOps.ts#L48
Unexpected any. Specify a different type