Skip to content

Add contract to migrate a Safe from not L2 to L2 #297

Add contract to migrate a Safe from not L2 to L2

Add contract to migrate a Safe from not L2 to L2 #297

Triggered via pull request October 20, 2023 08:50
@Uxio0Uxio0
synchronize #685
migrate-l2
Status Success
Total duration 3m 30s
Artifacts

certora.yml

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