Skip to content
CI Checks

Fix declaration of socket functions without TCP #5914

Sign in to view logs

Fix declaration of socket functions without TCP

Fix declaration of socket functions without TCP #5914

Triggered via pull request January 6, 2024 06:45
@tony-josi-awstony-josi-aws
synchronize #1068
HTRamsey:dev-sockets
Status Success
Total duration 5m 44s
Artifacts 1

ci.yml

on: pull_request
unittest
3m 40s
unittest
spell-check
2m 4s
spell-check
formatting
13s
formatting
doxygen
35s
doxygen
verify-manifest
13s
verify-manifest
link-verifier
1m 17s
link-verifier
build-checks
50s
build-checks
complexity
10s
complexity
git-secrets
4s
git-secrets
proof_ci
5m 31s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_FreeRTOS-Plus-TCP_2024_01_06_06_50_49 Expired
4.45 MB