certora-steward

Certora #11

Sign in to view logs

Triggered via pull request May 21, 2024 09:11

nisnislevi

synchronize #11

certora

Status Cancelled

Total duration 15s

Artifacts –

certora-steward.yml

on: pull_request

Matrix: verify

Annotations

2 errors

verify (rules.conf)

The run was canceled by @nisnislevi.

verify (rules.conf)

The operation was canceled.