Check autogen files

Sync audit formal verification #601

Sign in to view logs

Triggered via pull request November 22, 2024 20:13

brittcyr

synchronize #294

cyr/audit-sync

Status Failure

Total duration 3m 42s

Artifacts –

ci-autogen.yml

on: pull_request

Annotations

1 error

autogen-check

Process completed with exit code 1.