Skip to content
CI Checks

[V4.2.3] Improve maximum network buffer allocation size check when Buffer Allocation scheme 1 is used #6923

Sign in to view logs

[V4.2.3] Improve maximum network buffer allocation size check when Buffer Allocation scheme 1 is used

[V4.2.3] Improve maximum network buffer allocation size check when Buffer Allocation scheme 1 is used #6923

Triggered via pull request June 10, 2025 09:18
@tony-josi-awstony-josi-aws
synchronize #1265
tony-josi-aws:v4.2.3_test
Status Success
Total duration 13m 18s
Artifacts 1

ci.yml

on: pull_request
unittest
6m 6s
unittest
spell-check
1m 44s
spell-check
formatting
31s
formatting
doxygen
23s
doxygen
verify-manifest
23s
verify-manifest
link-verifier
13m 11s
link-verifier
build-checks
1m 12s
build-checks
complexity
23s
complexity
git-secrets
8s
git-secrets
proof_ci
10m 6s
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_09_28_54 Expired
5.47 MB
sha256:248b30dde644f8c58a80ef6040d167289fe4a6df168668f40d3cc95be035d3ce