Skip to content
certora-steward

Certora #26

Sign in to view logs

Certora

Certora #26

Triggered via pull request September 15, 2024 09:22
@MichaelMoramiMichaelMorami
synchronize #11
certora
Status Cancelled
Total duration 3m 18s
Artifacts –

certora-steward.yml

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

Annotations

8 errors
verify (GhoBucketSteward.conf)
The run was canceled by @MichaelMorami.
verify (GhoBucketSteward.conf)
The operation was canceled.
verify (GhoGsmSteward.conf)
The run was canceled by @MichaelMorami.
verify (GhoGsmSteward.conf)
The operation was canceled.
verify (GhoAaveSteward.conf)
The run was canceled by @MichaelMorami.
verify (GhoAaveSteward.conf)
The operation was canceled.
verify (GhoCcipSteward.conf)
The run was canceled by @MichaelMorami.
verify (GhoCcipSteward.conf)
The operation was canceled.