Skip to content
CI Checks

Unittest: Fix, enable and forbid specific warnings #6798

Sign in to view logs

Unittest: Fix, enable and forbid specific warnings

Unittest: Fix, enable and forbid specific warnings #6798

Re-run triggered March 4, 2025 08:19
@tony-josi-awstony-josi-aws
#1228
anordal:unittest-warnings
Status Success
Total duration 8m 49s
Artifacts 1

ci.yml

on: pull_request
unittest
8m 16s
unittest
spell-check
4m 22s
spell-check
formatting
12s
formatting
doxygen
1m 6s
doxygen
verify-manifest
15s
verify-manifest
link-verifier
2m 30s
link-verifier
build-checks
1m 37s
build-checks
complexity
1m 26s
complexity
git-secrets
7s
git-secrets
proof_ci
8m 39s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

1 warning
formatting
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_FreeRTOS-Plus-TCP_2025_03_04_08_28_23 Expired
5.41 MB
sha256:cb787b2306d60dc60eb346d470caab34459d9f687756a70fbc93ee48292c3bcb