Check autogen files

Sync audit formal verification #607

Sign in to view logs

Triggered via pull request November 25, 2024 14:51

brittcyr

synchronize #294

cyr/audit-sync

Status Failure

Total duration 3m 39s

Artifacts –

ci-autogen.yml

on: pull_request

Annotations

1 error

autogen-check

Process completed with exit code 1.