Check autogen files

Sync audit formal verification (#294) #609

Sign in to view logs

Triggered via push November 25, 2024 15:38

brittcyr

main

Status Failure

Total duration 3m 40s

Artifacts –

ci-autogen.yml

on: push

Annotations

1 error

autogen-check

Process completed with exit code 1.