safe-smart-account

[Certora Audit] G-01. `OwnerManager.removeOwner()`: 1 SLOAD can be sa… #2897

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-solidity	47s
lint-typescript	48s
benchmarks (0.7.6)	45s
benchmarks (0.8.24)	1m 6s
coverage (Safe)	1m 6s
coverage (SafeL2)	1m 7s
tests	6m 9s
finish	4s
	11m 52s