Skip to content
CI Checks

Improves handling of IPv4 broadcast addresses. #6775

Sign in to view logs

Improves handling of IPv4 broadcast addresses.

Improves handling of IPv4 broadcast addresses. #6775

Re-run triggered January 30, 2025 05:30
@tony-josi-awstony-josi-aws
#1221
evpopov:BCastAddressDetection_PR
Status Failure
Total duration 9m 42s
Artifacts 1

ci.yml

on: pull_request
unittest
4m 22s
spell-check
1m 49s
formatting
16s
doxygen
1m 40s
verify-manifest
16s
link-verifier
1m 22s
build-checks
1m 34s
complexity
21s
git-secrets
4s
proof_ci
9m 33s

Annotations

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

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_FreeRTOS-Plus-TCP_2025_01_30_05_39_50
5.87 MB