Use WiFiNINA:master:HEAD for CI build (for now)

Author: aentinger

.github/workflows/compile-examples.yml

@@ -57,7 +57,8 @@ jobs:
               - name: ArduinoECCX08
               - name: RTCZero
               - name: WiFi101
-              - name: WiFiNINA
+              # Use the version of WiFiNINA from the tip of its repository's default branch
+              - source-url: https://github.com/arduino-libraries/WiFiNINA.git
               - name: Arduino_MKRMEM
             sketch-paths: '"examples/utility/Provisioning" "examples/utility/WiFi_Cloud_Blink"'
           # LoRaWAN boards