Skip to content
certora-steward

certora: Add Gsm4626 specs and review report (#442) #1

Sign in to view logs

certora: Add Gsm4626 specs and review report (#442)

certora: Add Gsm4626 specs and review report (#442) #1

Triggered via push January 29, 2025 14:55
@efecarranzaefecarranza
pushed b2b1801
main
Status Failure
Total duration 3m 38s
Artifacts –

certora-steward.yml

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

Annotations

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