Add Portenta boards to Compile Examples CI workflow

Compile library examples for Arduino Portenta H7's M4 and M7 cores during CI run.

Author: per1234

Diff for: .github/workflows/compile-examples.yml

@@ -39,6 +39,8 @@ jobs:
           {"fqbn": "arduino:samd:mkrwan1300", "type": "wan"},
           {"fqbn": "arduino:samd:mkrgsm1400", "type": "gsm"},
           {"fqbn": "arduino:samd:mkrnb1500", "type": "nb"},
+          {"fqbn": "arduino-beta:mbed:envie_m4", "type": "mbed"},
+          {"fqbn": "arduino-beta:mbed:envie_m7", "type": "mbed"},
           {"fqbn": "esp8266:esp8266:huzzah", "type": "esp8266"}
         ]
 
@@ -96,6 +98,14 @@ jobs:
               - name: RTCZero
               - name: MKRNB
             sketch-paths: '"examples/utility/Provisioning"'
+          # Portenta
+          - board:
+              type: "mbed"
+            platforms: |
+              - name: arduino-beta:mbed
+            libraries: |
+              - name: ArduinoECCX08
+            sketch-paths: '"examples/utility/Provisioning"'
           # ESP8266 boards
           - board:
               type: "esp8266"