Add Ethernet lib to workflow. Update GNSS lib version.

Author: nseidle

.github/workflows/compile-rtk-firmware.yml

@@ -71,10 +71,12 @@ jobs:
           ArduinoJson@6.19.4
           pubsubclient@2.8.0
           ESP32_BleSerial@1.0.4
-          "SparkFun u-blox GNSS v3"@3.0.7
+          "SparkFun u-blox GNSS v3"@3.0.9
           "SparkFun MAX1704x Fuel Gauge Arduino Library"@1.0.4
           "SparkFun LIS2DH12 Arduino Library"@1.0.3
           "ESP32-OTA-Pull"@1.0.0
+          SparkFun_WebServer_ESP32_W5500@1.5.5
+          Ethernet@2.0.2
 
       - name: Enable external libs
         run: arduino-cli config set library.enable_unsafe_install true
@@ -91,6 +93,13 @@ jobs:
       #    cd Firmware/RTK_Surveyor/Patch/
       #    cp WiFiGeneric.cpp /home/runner/.arduino15/packages/esp32/hardware/esp32/2.0.2/libraries/WiFi/src/WiFiGeneric.cpp
 
+      #Patch Server.h to avoid https://github.com/arduino-libraries/Ethernet/issues/88#issuecomment-455498941
+      #Note: this patch can be removed if/when we upgrade to ESP32 core >= v2.0.6 
+      - name: Patch ESP32 Server.h for Ethernet
+        run: |
+          cd Firmware/RTK_Surveyor/Patch/
+          cp Server.h /home/runner/.arduino15/packages/esp32/hardware/esp32/2.0.2/cores/esp32/Server.h
+
       - name: Compile Sketch
         run: arduino-cli compile --fqbn "esp32:esp32:esp32":DebugLevel=${{ env.DEBUG_LEVEL }} ./Firmware/RTK_Surveyor/RTK_Surveyor.ino
           --build-property build.partitions=partitions