certora-gsm

Feat: add sGhoSteward #60

Sign in to view logs

This workflow is awaiting approval from a maintainer in #6

Triggered via pull request October 27, 2025 12:48

pavelvm5

synchronize #6

bgd-labs:feat/sgho-steward

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #6

certora-gsm.yml

on: pull_request