extras: Update arduino-devops for renaming.

LinjingZhang · LinjingZhang · commit 753bd77a29c2 · 2025-07-11T14:57:49.000+02:00
Signed-off-by: zhanglinjing &lt;Linjing.Zhang@infineon.com&gt;
diff --git a/extras/arduino-devops b/extras/arduino-devops
@@ -1 +1 @@
-Subproject commit 240259776cd4ec996bb1242baaa222752eac8be2
+Subproject commit c38ddbd51e09b4075048853dc7887116540a14b7
