Skip to content
CI Checks

Improve maximum network buffer allocation size check when Buffer Allocation scheme 1 is used #6917

Sign in to view logs

Improve maximum network buffer allocation size check when Buffer Allocation scheme 1 is used

Improve maximum network buffer allocation size check when Buffer Allocation scheme 1 is used #6917

Triggered via pull request June 10, 2025 08:34
@tony-josi-awstony-josi-aws
synchronize #1263
tony-josi-aws:patch_vNetworkInterfaceAllocateRAMToBuffers
Status Success
Total duration 12m 22s
Artifacts 1

ci.yml

on: pull_request
unittest
6m 50s
unittest
spell-check
4m 2s
spell-check
formatting
2m 19s
formatting
doxygen
20s
doxygen
verify-manifest
21s
verify-manifest
link-verifier
12m 15s
link-verifier
build-checks
1m 40s
build-checks
complexity
1m 8s
complexity
git-secrets
5s
git-secrets
proof_ci
7m 12s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_FreeRTOS-Plus-TCP_2025_06_10_08_41_12 Expired
5.51 MB
sha256:fb1d8b9551aa32a3f28df0af826a22abd968e42cf85523aa8b9a5b98c8316c2d