Skip to content
CI Checks

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

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 #6924

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

ci.yml

on: pull_request
unittest
6m 16s
unittest
spell-check
1m 26s
spell-check
formatting
20s
formatting
doxygen
30s
doxygen
verify-manifest
18s
verify-manifest
link-verifier
13m 16s
link-verifier
build-checks
1m 18s
build-checks
complexity
1m 8s
complexity
git-secrets
5s
git-secrets
proof_ci
8m 44s
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_47_55 Expired
5.47 MB
sha256:3d306205379aa8a8b536ce543e34eab8eadb84a0576f15bf861e7162cdd106ff