Skip to content
certora-steward

Initial commit #1

Sign in to view logs

Initial commit

Initial commit #1

Triggered via push June 10, 2025 08:14
@avniculaeavniculae
pushed 4090c6b
main
Status Failure
Total duration 30s
Artifacts –

certora-steward.yml

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

Annotations

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