Skip to content

Clang-Format and CI-CD Update #526

Clang-Format and CI-CD Update

Clang-Format and CI-CD Update #526

Triggered via pull request August 21, 2023 23:11
@SkptakSkptak
synchronize #86
Skptak:main
Status Failure
Total duration 28m 42s
Artifacts 1

ci.yml

on: pull_request
build-check-library
5s
build-check-library
unittest
19s
unittest
build-with-default-config
13s
build-with-default-config
complexity
11s
complexity
doxygen
19s
doxygen
spell-check
1m 29s
spell-check
formatting
12s
formatting
git-secrets
6s
git-secrets
memory_statistics
36s
memory_statistics
link-verifier
56s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
28m 35s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

1 error
spell-check
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_SigV4-for-AWS-IoT-embedded-sdk_2023_08_21_23_40_13 Expired
3.77 MB