From c3913a0269e2b070fecb9977dfeb248f3dfe8fcf Mon Sep 17 00:00:00 2001
From: Linar Yusupov <linar.r.yusupov@gmail.com>
Date: Thu, 20 Jun 2024 06:59:23 +0300
Subject: [PATCH] [RP2040] bump Pico Core up to 3.9.3

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index f85085c63..ae57e1542 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -369,7 +369,7 @@ jobs:
           fi
           if [[ "$BOARD" =~ "rp2040:rp2040:" ]]; then
             arduino --pref "boardsmanager.additional.urls=https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json" --save-prefs ;
-            arduino --install-boards rp2040:rp2040:3.9.2 ;
+            arduino --install-boards rp2040:rp2040:3.9.3 ;
             arduino --board $BOARD --save-prefs ;
             if [[ "$BOARD" =~ "rp2040:rp2040:rpipicow" ]]; then
               arduino --pref "custom_freq=rpipicow_120"               --save-prefs ;