Check autogen files

Certora's formal verification effort for Manifest #586

Sign in to view logs

Triggered via pull request November 20, 2024 17:28

brittcyr

synchronize #293

certora-audit

Status Failure

Total duration 3m 41s

Artifacts –

ci-autogen.yml

on: pull_request

Annotations

1 error

autogen-check

Process completed with exit code 1.