Use mbed_portenta released core instead of ArduinoCore-mbed HEAD

Author: pennam

.github/workflows/compile-examples.yml

@@ -29,8 +29,6 @@ jobs:
         - examples/ArduinoIoTCloud-Advanced
         - examples/ArduinoIoTCloud-Basic
         - examples/utility/ArduinoIoTCloud_Travis_CI
-      ARDUINOCORE_MBED_STAGING_PATH: extras/ArduinoCore-mbed
-      ARDUINOCORE_API_STAGING_PATH: extras/ArduinoCore-API
       SKETCHES_REPORTS_PATH: sketches-reports
 
     strategy:
@@ -50,8 +48,8 @@ jobs:
             type: gsm
           - fqbn: arduino:samd:mkrnb1500
             type: nb
-          - fqbn: arduino:mbed:envie_m7
-            type: mbed
+          - fqbn: arduino:mbed_portenta:envie_m7
+            type: mbed_portenta
           - fqbn: esp8266:esp8266:huzzah
             type: esp8266
           - fqbn: esp32:esp32:esp32
@@ -128,18 +126,16 @@ jobs:
               - examples/utility/Provisioning
           # Portenta
           - board:
-              type: mbed
+              type: mbed_portenta
             platforms: |
               # Install Arduino mbed-Enabled Boards via Boards Manager for the toolchain
-              - name: arduino:mbed
-              # Overwrite the Arduino mbed-Enabled Boards release version with version from the tip of the master branch (located in local path because of the need to first install ArduinoCore-API)
-              - source-path: extras/ArduinoCore-mbed
-                name: arduino:mbed
+              - name: arduino:mbed_portenta
             libraries: |
               - name: ArduinoECCX08
               - name: Arduino_Portenta_OTA
             sketch-paths: |
               - examples/utility/Provisioning
+          # Nicla Vision
           - board:
               type: mbed_nicla
             platforms: |
@@ -174,30 +170,6 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
 
-      # it's necessary to checkout the platform before installing it so that the ArduinoCore-API dependency can be added
-      - name: Checkout ArduinoCore-mbed
-        # this step only needed when the Arduino mbed-Enabled Boards platform sourced from the repository is being used
-        if: matrix.board.type == 'mbed'
-        uses: actions/checkout@v2
-        with:
-          repository: arduino/ArduinoCore-mbed
-          # the arduino/compile-sketches action will install the platform from this path
-          path: ${{ env.ARDUINOCORE_MBED_STAGING_PATH }}
-
-      - name: Checkout ArduinoCore-API
-        # this step only needed when the Arduino mbed-Enabled Boards platform sourced from the repository is being used
-        if: matrix.board.type == 'mbed'
-        uses: actions/checkout@v2
-        with:
-          repository: arduino/ArduinoCore-API
-          path: ${{ env.ARDUINOCORE_API_STAGING_PATH }}
-
-      - name: Install ArduinoCore-API
-        # this step only needed when the Arduino mbed-Enabled Boards platform sourced from the repository is being used
-        if: matrix.board.type == 'mbed'
-        run: |
-          mv "${{ env.ARDUINOCORE_API_STAGING_PATH }}/api" "${{ env.ARDUINOCORE_MBED_STAGING_PATH }}/cores/arduino"
-
       - name: Install ESP32 platform dependencies
         if: matrix.board.type == 'esp32'
         run: pip3 install pyserial