Merge branch 'platformio:develop' into develop

2023-04-04 23:17:27 +02:00
parent aa10954dab aeed8d7b45
commit d9e97a3364
2 changed files with 3 additions and 3 deletions
--- a/builder/frameworks/arduino/mbed-core
+++ b/builder/frameworks/arduino/mbed-core
--- a/platform.json
+++ b/platform.json
@ -18,7 +18,7 @@
    "type": "git",
    "url": "https://github.com/platformio/platform-raspberrypi.git"
  },
-  "version": "1.8.0",
+  "version": "1.9.0",
  "frameworks": {
    "arduino": {
      "package": "framework-arduino-mbed",
@ -41,7 +41,7 @@
      "type": "framework",
      "optional": true,
      "owner": "platformio",
-      "version": "~3.5.4"
+      "version": "~4.0.2"
    },
    "framework-arduinopico": {
      "type": "framework",