Merge branch 'platformio:develop' into develop

2023-03-05 22:43:48 +01:00 · 2023-03-05 22:43:48 +01:00 · 7921d08c11
commit 7921d08c11
parent 0b2e90a430 6499706f58
1 changed files with 2 additions and 2 deletions
--- a/platform.json
+++ b/platform.json
@ -18,7 +18,7 @@
    "type": "git",
    "url": "https://github.com/platformio/platform-raspberrypi.git"
  },
-  "version": "1.7.0",
+  "version": "1.8.0",
  "frameworks": {
    "arduino": {
      "package": "framework-arduino-mbed",
@ -41,7 +41,7 @@
      "type": "framework",
      "optional": true,
      "owner": "platformio",
-      "version": "~3.1.1"
+      "version": "~3.5.4"
    },
    "framework-arduinopico": {
      "type": "framework",