Temporary change: Add link to latest ArduinoOTAPortenta library to be used in order to verify CI build. This needs to be replaced with the library name only as soon as this library has been properly released.

Author: aentinger

.github/workflows/compile-examples.yml

@@ -121,6 +121,7 @@ jobs:
                 name: arduino:mbed
             libraries: |
               - name: ArduinoECCX08
+              - source-url: https://github.com/facchinm/ArduinoOTAPortenta.git
             sketch-paths: |
               - examples/utility/Provisioning
           # ESP8266 boards