Skip to content
CI Checks

No searching for end-points when responding to mDNS/LLMNR/NBNS #5856

Sign in to view logs

No searching for end-points when responding to mDNS/LLMNR/NBNS

No searching for end-points when responding to mDNS/LLMNR/NBNS #5856

Re-run triggered December 18, 2023 17:38
@bradleysmith23bradleysmith23
#1064
evpopov:NoEndPointSearchOnNameQuery_PR
Status Failure
Total duration 6m 0s
Artifacts 1

ci.yml

on: pull_request
unittest
3m 45s
unittest
spell-check
2m 22s
spell-check
formatting
11s
formatting
doxygen
15s
doxygen
verify-manifest
20s
verify-manifest
link-verifier
1m 34s
link-verifier
build-checks
58s
build-checks
complexity
12s
complexity
git-secrets
4s
git-secrets
proof_ci
5m 45s
proof_ci
Fit to window
Zoom out
Zoom in

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_2023_12_18_17_44_10 Expired
4.46 MB