diff --git a/.github/workflows/compile-examples.yml b/.github/workflows/compile-examples.yml
index 833accca..d491ead0 100644
--- a/.github/workflows/compile-examples.yml
+++ b/.github/workflows/compile-examples.yml
@@ -137,7 +137,7 @@ jobs:
                 name: arduino:mbed
             libraries: |
               - name: ArduinoECCX08
-              - source-url: https://github.com/facchinm/Arduino_OTA_Portenta.git
+              - source-url: https://github.com/arduino-libraries/Arduino_Portenta_OTA.git
             sketch-paths: |
               - examples/utility/Provisioning
           # ESP8266 boards