Skip to content
certora-ATokenWithDelegation

sGHO standalone - ERC4626 Vault with internal yield management #17

Sign in to view logs

sGHO standalone - ERC4626 Vault with internal yield management

sGHO standalone - ERC4626 Vault with internal yield management #17

Triggered via pull request July 15, 2025 17:25
@Luigy-LemonLuigy-Lemon
synchronize #130
Luigy-Lemon:sgho-standalone
Status Skipped
Total duration 2s
Artifacts –

certora-ATokenWithDelegation.yml

on: pull_request
verify
0s
verify
Fit to window
Zoom out
Zoom in