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

Upgrading certora CLI #723

Sign in to view logs

Upgrading certora CLI

Upgrading certora CLI #723

Triggered via push July 29, 2024 11:44
@remedcuremedcu
pushed f5f154c
certora-update
Status Success
Total duration 1m 29s
Artifacts –

ci_4337_gas_metering.yml

on: push
checks
1m 20s
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