From 21ed3d51d24f6b62cdcf24d76371477130cb7d4c Mon Sep 17 00:00:00 2001
From: Niklas Jensen <niklaspj2004@gmail.com>
Date: Fri, 30 Jan 2026 22:09:57 +0100
Subject: [PATCH] Fix build pipeline

---
 esp32/include/communication/webserver.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/esp32/include/communication/webserver.h b/esp32/include/communication/webserver.h
index 9b1272c..f10e83d 100644
--- a/esp32/include/communication/webserver.h
+++ b/esp32/include/communication/webserver.h
@@ -8,7 +8,7 @@
 #include <pb_encode.h>
 #include <pb_decode.h>
 #include <platform_shared/api.pb.h>
-#include <semphr.h>
+#include <freertos/semphr.h>
 
 using HttpGetHandler = std::function<esp_err_t(httpd_req_t*)>;
 using HttpPostHandler = std::function<esp_err_t(httpd_req_t*, api_Request*)>;