Skip to content
CI Checks

Clang-Format and CI-CD Update #793

Sign in to view logs

Clang-Format and CI-CD Update

Clang-Format and CI-CD Update #793

Triggered via pull request August 17, 2023 21:22
@SkptakSkptak
synchronize #161
Skptak:main
Status Failure
Total duration 7m 54s
Artifacts 1

ci.yml

on: pull_request
unittest
25s
unittest
complexity
9s
complexity
doxygen
16s
doxygen
spell-check
1m 43s
spell-check
formatting
34s
formatting
ssot-check
4s
ssot-check
git-secrets
5s
git-secrets
memory_statistics
41s
memory_statistics
link-verifier
49s
link-verifier
proof_ci
5m 29s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
formatting
Process completed with exit code 1.
proof_ci
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreHTTP_2023_08_17_21_29_48 Expired
12.2 MB