Check autogen files

Certora's formal verification effort for Manifest #588

Sign in to view logs

Triggered via pull request November 20, 2024 21:43

brittcyr

synchronize #293

certora-audit

Status Failure

Total duration 3m 39s

Artifacts –

ci-autogen.yml

on: pull_request

Annotations

1 error

autogen-check

Process completed with exit code 1.