Tie CBMC to 5.95.1 given 6.0.0 alpha is causing PR's to fail #145
pr_checks.yml
on: pull_request
Matrix: PR-repo-checks
Matrix: PR-uncrustify-checks
Annotations
1 error
PR-uncrustify-checks (FreeRTOS-Kernel, FreeRTOS, main, portable)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
formattingChanges
Expired
|
912 KB |
|