Skip to content
CI Checks

Fix declaration of socket functions without TCP #5886

Sign in to view logs

Fix declaration of socket functions without TCP

Fix declaration of socket functions without TCP #5886

Re-run triggered January 1, 2024 04:32
@tony-josi-awstony-josi-aws
#1068
HTRamsey:dev-sockets
Status Success
Total duration 7m 56s
Billable time 6m
Artifacts 1

ci.yml

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

Artifacts

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