Skip to content

Change implementation owner to address(1) from address(0) #24

Change implementation owner to address(1) from address(0)

Change implementation owner to address(1) from address(0) #24

Triggered via pull request April 1, 2024 18:36
Status Success
Total duration 53m 39s
Artifacts

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in