CI build: add dependency for ArduinoECCX08 library.

Author: aentinger

.github/workflows/compile-examples.yml

@@ -157,6 +157,7 @@ jobs:
               # Install mbed_opta platform via Boards Manager
               - name: arduino:mbed_opta
             libraries: |
+              - name: ArduinoECCX08
               - name: Arduino_Portenta_OTA
             sketch-paths: |
               - examples/utility/Provisioning