Enable default analysis flags for CBMC version 6.0+ #1741
thomasspriggs
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
syntax-checks.yaml
on: pull_request
check-clang-format
1m 25s
check-cpplint
1m 6s
check-rustfmt
13s
Annotations
2 errors
|
check-cpplint
Process completed with exit code 1.
|
|
check-clang-format
Process completed with exit code 1.
|