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

Update modules/4337/certora/specs/ValidationDataLastBitOne.spec #634

Sign in to view logs

Update modules/4337/certora/specs/ValidationDataLastBitOne.spec

Update modules/4337/certora/specs/ValidationDataLastBitOne.spec #634

Run time

Learn about OS pricing on GitHub Actions
Job Run time
checks
1m 13s
1m 13s