Skip to content
certora

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

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 #825

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (owner)
8m 37s
verify (safe)
10m 25s
verify (module)
7m 4s
verify (nativeTokenRefund)
7m 4s
verify (signatures)
5m 12s
verify (safeMigration)
1m 9s
verify (safeToL2Migration)
6m 17s
verify (safeToL2Setup)
1m 1s
46m 49s