Check autogen files

Sync audit formal verification #600

Sign in to view logs

Triggered via pull request November 22, 2024 02:18

brittcyr

synchronize #294

cyr/audit-sync

Status Failure

Total duration 3m 45s

Artifacts –

ci-autogen.yml

on: pull_request

Annotations

1 error

autogen-check

Process completed with exit code 1.