certora-gho-5.0.5

GSM L2 #269

Sign in to view logs

This workflow is awaiting approval from a maintainer in #449

Triggered via pull request March 20, 2025 20:58

efecarranza

synchronize #449

TokenLogic-com-au:gsml2

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #449

certora-gho-505.yml

on: pull_request

Matrix: verify

Waiting for pending jobs