Skip to content
certora-steward

Remote GSM #236

Sign in to view logs

Remote GSM

Remote GSM #236

Re-run triggered June 9, 2025 16:55
@miguelmtzinfmiguelmtzinf
#451
TokenLogic-com-au:gsml2-collector
Status Failure
Total duration 1m 37s
Artifacts –

certora-steward.yml

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

Annotations

4 errors
verify (GhoBucketSteward.conf)
Process completed with exit code 1.
verify (GhoGsmSteward.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.