Skip to content
certora

Feature: Update onlyOwnersGuard to use O(1) lookup, fix an incorrect test #338

Sign in to view logs

Feature: Update onlyOwnersGuard to use O(1) lookup, fix an incorrect test

Feature: Update onlyOwnersGuard to use O(1) lookup, fix an incorrect test #338

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyOwners.sh)
13m 12s
verify (verifySafe.sh)
9m 37s
verify (verifyModules.sh)
12m 2s
verify (verifyNativeTokenRefund.sh)
6m 40s
verify (verifySignatures.sh)
7m 45s
49m 16s