Skip to content
certora

Feature: Remove unused bytes from core contract's checkSignatures method #324

Sign in to view logs

Feature: Remove unused bytes from core contract's checkSignatures method

Feature: Remove unused bytes from core contract's checkSignatures method #324

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyOwners.sh)
37s
verify (verifySafe.sh)
29s
verify (verifyModules.sh)
37s
verify (verifyNativeTokenRefund.sh)
22s
verify (verifySignatures.sh)
21s
2m 26s