Skip to content
certora-steward

Gsm4626 deployment script #207

Sign in to view logs

Gsm4626 deployment script

Gsm4626 deployment script #207

Triggered via pull request January 29, 2025 09:37
@miguelmtzinfmiguelmtzinf
opened #444
TokenLogic-com-au:gsm4626
Status Failure
Total duration 1m 55s
Artifacts –

certora-steward.yml

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

Annotations

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