Skip to content
CI Checks

Use the mainline CBMC proof actions #149

Sign in to view logs

Use the mainline CBMC proof actions

Use the mainline CBMC proof actions #149

Triggered via push January 5, 2024 19:00
@SkptakSkptak
pushed fe78dfb
clangFormat
Status Failure
Total duration 1m 19s
Artifacts 1

ci.yml

on: push
unittest
21s
unittest
complexity
20s
complexity
doxygen
15s
doxygen
spell-check
1m 7s
spell-check
formatting
12s
formatting
ssot-check
4s
ssot-check
git-secrets
4s
git-secrets
memory_statistics
33s
memory_statistics
link-verifier
39s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
ssot-check
Process completed with exit code 1.
formatting
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
formattingChanges Expired
81.5 KB