Skip to content
CI Checks

Fix Windows Simulator demo build failures by adding missing windows.h includes #7019

Sign in to view logs

Fix Windows Simulator demo build failures by adding missing windows.h includes

Fix Windows Simulator demo build failures by adding missing windows.h includes #7019

Triggered via pull request January 20, 2026 18:24
@moninom1moninom1
synchronize #1305
moninom1:ciNew
Status Success
Total duration 13m 26s
Artifacts 1

ci.yml

on: pull_request
unittest
5m 58s
unittest
spell-check
1m 9s
spell-check
formatting
15s
formatting
doxygen
18s
doxygen
verify-manifest
23s
verify-manifest
link-verifier
13m 22s
link-verifier
build-checks
1m 39s
build-checks
complexity
13s
complexity
git-secrets
6s
git-secrets
proof_ci
8m 41s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_FreeRTOS-Plus-TCP_2026_01_20_18_33_29 Expired
5.52 MB
sha256:a8cebd746a40d79b974472f3513770a6da6f783049ff7bbcd18940be878b5cb0