Skip to content
certora-steward

Remote GSM #14

Sign in to view logs

Remote GSM

Remote GSM #14

Re-run triggered July 25, 2025 07:52
@miguelmtzinfmiguelmtzinf
#1
TokenLogic-com-au:remote-gsm
Status Failure
Total duration 1m 16s
Artifacts –

certora-steward.yml

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

Annotations

4 errors
verify (GhoGsmSteward.conf)
Process completed with exit code 1.
verify (GhoBucketSteward.conf)
Process completed with exit code 1.
verify (GhoCcipSteward.conf)
Process completed with exit code 1.
verify (GhoAaveSteward.conf)
Process completed with exit code 1.