Skip to content
certora

Feature: Signatures rule fix by restoring the prover options from the original PR #291

Sign in to view logs

Feature: Signatures rule fix by restoring the prover options from the original PR

Feature: Signatures rule fix by restoring the prover options from the original PR #291

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyOwners.sh)
15m 5s
verify (verifySafe.sh)
6m 13s
verify (verifyModules.sh)
15m 47s
verify (verifyNativeTokenRefund.sh)
2m 54s
verify (verifySignatures.sh)
14m 23s
54m 22s