Skip to content
Repository Pull Request Checks

Tie CBMC to 5.95.1 given 6.0.0 alpha is causing PR's to fail #144

Sign in to view logs

Tie CBMC to 5.95.1 given 6.0.0 alpha is causing PR's to fail

Tie CBMC to 5.95.1 given 6.0.0 alpha is causing PR's to fail #144

Triggered via pull request December 14, 2023 21:55
@bradleysmith23bradleysmith23
synchronize #96
bradleysmith23:main
Status Failure
Total duration 18m 20s
Artifacts 1

pr_checks.yml

on: pull_request
Matrix: PR-repo-checks
Matrix: PR-uncrustify-checks
Fit to window
Zoom out
Zoom in

Annotations

1 error
PR-uncrustify-checks (FreeRTOS-Kernel, FreeRTOS, main)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
formattingChanges Expired
912 KB