[Certora] Add CI and munging #3

Sign in to view logs

Re-run triggered September 20, 2023 08:18

QGarchery

#32

certora/add-ci

Status Failure

Total duration 4m 31s

Artifacts –

certora.yml

on: pull_request

Matrix: verify

Annotations

1 error

verify (verifyLiveness.sh)

Process completed with exit code 1.