Skip to content
CI Checks

DNM : TRY Dev defines #5591

Sign in to view logs

DNM : TRY Dev defines

DNM : TRY Dev defines #5591

Triggered via pull request September 13, 2023 17:52
@moninom1moninom1
opened #1025
moninom1:dev-defines
Status Failure
Total duration 7m 19s
Artifacts 2

ci.yml

on: pull_request
unittest
35s
unittest
spell-check
2m 17s
spell-check
formatting
24s
formatting
doxygen
26s
doxygen
verify-manifest
23s
verify-manifest
link-verifier
1m 50s
link-verifier
build-checks
1m 23s
build-checks
complexity
15s
complexity
git-secrets
6s
git-secrets
proof_ci
7m 6s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors
formatting
Process completed with exit code 1.
verify-manifest
Process completed with exit code 1.
unittest
Process completed with exit code 1.
spell-check
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_FreeRTOS-Plus-TCP_2023_09_13_17_59_20 Expired
4.45 MB
formattingChanges Expired
1.3 KB