Merge branch 'release/v1.4.0'

Author: valeros

.github/workflows/examples.yml

@@ -7,7 +7,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-16.04, windows-latest, macos-latest]
+        os: [ubuntu-18.04, windows-latest, macos-latest]
         python-version: [3.7]
         example:
           - "examples/arduino-blink"

builder/frameworks/arduino/mbed-core

@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-raspberrypi.git"
   },
-  "version": "1.3.0",
+  "version": "1.4.0",
   "frameworks": {
     "arduino": {
       "package": "framework-arduino-mbed",
@@ -35,7 +35,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~2.4.0"
+      "version": "~2.5.0"
     },
     "tool-rp2040tools": {
       "type": "uploader",