From 0e68505ec87455ba26f7a29532a4f7c220b793eb Mon Sep 17 00:00:00 2001
From: Fabien-B <fabien.bonneval@gmail.com>
Date: Wed, 15 Apr 2026 19:20:42 +0200
Subject: [PATCH] [docker] Install curl (#3639)

Co-authored-by: Fabien-B <Fabien-B@github.com>
---
 docker/dep/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/dep/Dockerfile b/docker/dep/Dockerfile
index c98875b94e..f9f59b3ed8 100644
--- a/docker/dep/Dockerfile
+++ b/docker/dep/Dockerfile
@@ -32,6 +32,7 @@ RUN apt-get update && apt-get install -y \
     gedit \
     gcc-arm-none-eabi \
     python3-future \
+    curl \
     && rm -rf /var/lib/apt/lists/*
 
 ENTRYPOINT ["/tini", "--"]