ci: align esp32 core to the one installed on Arduino cloud web editor

Author: pennam

.github/workflows/compile-examples.yml

@@ -254,6 +254,7 @@ jobs:
               # Install ESP32 platform via Boards Manager
               - name: esp32:esp32
                 source-url: https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json
+                version: 2.0.17
             sketch-paths: |
               - examples/ArduinoIoTCloud-DeferredOTA