Skip to content
certora-gho

sGHO - erc4626 vault #58

Sign in to view logs

sGHO - erc4626 vault

sGHO - erc4626 vault #58

This workflow is awaiting approval from a maintainer in #5
Triggered via pull request October 27, 2025 11:02
@Luigy-LemonLuigy-Lemon
synchronize #5
karpatkey:sgho
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #5

certora-gho.yml

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