Skip to content
CLA Assistant

[Certora Audit] G-01. OwnerManager.removeOwner(): 1 SLOAD can be saved in the normal path #2261

Sign in to view logs

[Certora Audit] G-01. OwnerManager.removeOwner(): 1 SLOAD can be saved in the normal path

[Certora Audit] G-01. OwnerManager.removeOwner(): 1 SLOAD can be saved in the normal path #2261

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CLAssistant
3s
3s