Skip to content
certora

docs: enhance fallback handler documentation in Safe.sol and IFallbackManager.sol #852

Sign in to view logs

docs: enhance fallback handler documentation in Safe.sol and IFallbackManager.sol

docs: enhance fallback handler documentation in Safe.sol and IFallbackManager.sol #852

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (owner)
7m 45s
verify (safe)
7m 54s
verify (module)
4m 31s
verify (nativeTokenRefund)
2m 31s
verify (signatures)
2m 26s
verify (safeMigration)
54s
verify (safeToL2Migration)
54s
verify (safeToL2Setup)
1m 24s
28m 19s