Skip to content
CI Checks

Fix CBMC proofs #489

Sign in to view logs

Fix CBMC proofs

Fix CBMC proofs #489

Triggered via push January 9, 2024 06:39
@tony-josi-awstony-josi-aws
pushed ffd7756
pr_1065
Status Failure
Total duration 4m 3s
Artifacts 1

ci.yml

on: push
unittest
3m 53s
unittest
spell-check
1m 59s
spell-check
formatting
12s
formatting
doxygen
30s
doxygen
verify-manifest
15s
verify-manifest
link-verifier
1m 38s
link-verifier
build-checks
53s
build-checks
complexity
11s
complexity
git-secrets
8s
git-secrets
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
formatting
Process completed with exit code 1.
unittest
Process completed with exit code 8.

Artifacts

Produced during runtime
Name Size
formattingChanges Expired
1.72 KB