Skip to content
CI Checks

mDNS: when a reply do not repeat the questions, set authoritative flag #6999

Sign in to view logs

mDNS: when a reply do not repeat the questions, set authoritative flag

mDNS: when a reply do not repeat the questions, set authoritative flag #6999

Re-run triggered October 30, 2025 08:16
@AniruddhaKanhereAniruddhaKanhere
#1292
htibosch:MDNS_reply_with_answers_only
Status Success
Total duration 8m 38s
Artifacts 1

ci.yml

on: pull_request
unittest
6m 18s
unittest
spell-check
4m 6s
spell-check
formatting
2m 24s
formatting
doxygen
2m 55s
doxygen
verify-manifest
20s
verify-manifest
link-verifier
20m 20s
link-verifier
build-checks
3m 39s
build-checks
complexity
1m 51s
complexity
git-secrets
5s
git-secrets
proof_ci
8m 34s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_FreeRTOS-Plus-TCP_2025_10_30_08_24_46 Expired
5.52 MB
sha256:3925f650e2de8fac8c30f085db245c07717a314fb2eeef4b4dc1af6d8250ac14