extras: Update arduino-devops for renaming.

LinjingZhang · LinjingZhang · commit c96f5a0a028a · 2025-07-08T16:56:24.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
