diff --git a/.github/workflows/compile-examples.yml b/.github/workflows/compile-examples.yml
index a283ed9f7..8ee6c1ac9 100644
--- a/.github/workflows/compile-examples.yml
+++ b/.github/workflows/compile-examples.yml
@@ -87,7 +87,7 @@ jobs:
               - name: arduino:megaavr
             libraries: |
               - name: ArduinoECCX08
-              - source-url: https://github.com/arduino-libraries/Arduino_AVRSTL.git
+              - name: Arduino_AVRSTL
               - name: WiFiNINA
               - name: Arduino_JSON
               - name: ArduinoBearSSL
@@ -137,7 +137,7 @@ jobs:
                 name: arduino:mbed
             libraries: |
               - name: ArduinoECCX08
-              - source-url: https://github.com/arduino-libraries/Arduino_Portenta_OTA.git
+              - name: Arduino_Portenta_OTA
             sketch-paths: |
               - examples/utility/Provisioning
           # ESP8266 boards