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

Upgrading certora CLI (#475) #724

Sign in to view logs

Upgrading certora CLI (#475)

Upgrading certora CLI (#475) #724

Triggered via push July 30, 2024 07:57
@remedcuremedcu
pushed 4e697bd
main
Status Success
Total duration 1m 27s
Artifacts –

ci_4337_gas_metering.yml

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