Back to pull request #895

[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible #873

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (owner)	9m 35s
verify (safe)	12m 7s
verify (module)	7m 21s
verify (nativeTokenRefund)	3m 45s
verify (signatures)	5m 41s
verify (safeMigration)	3m 47s
verify (safeToL2Migration)	3m 47s
verify (safeToL2Setup)	3m 45s
	49m 48s