Update workflows

Author: PaulZC

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

@@ -68,7 +68,7 @@ jobs:
       - name: Install platform
         run: arduino-cli core install esp32:esp32@${{ env.CORE_VERSION }}
 
-      -name: Get IDF version
+      - name: Get IDF version
         run: |
           cd /home/runner/.arduino15/packages/esp32/tools/esp32-arduino-libs
           $IDF_VERSION = echo "$(ls | grep idf-release)"

.github/workflows/non-release-build.yml

@@ -68,6 +68,12 @@ jobs:
       - name: Install platform
         run: arduino-cli core install esp32:esp32@${{ env.CORE_VERSION }}
 
+      - name: Get IDF version
+        run: |
+          cd /home/runner/.arduino15/packages/esp32/tools/esp32-arduino-libs
+          $IDF_VERSION = echo "$(ls | grep idf-release)"
+          echo "ESP_IDF=${IDF_VERSION}" >> "$GITHUB_ENV"
+
       - name: Get Known Libraries
         run: arduino-cli lib install
           [email protected]
@@ -95,6 +101,14 @@ jobs:
           cd Firmware/RTK_Everywhere/Patch/
           cp BleSerial.cpp /home/runner/Arduino/libraries/ESP32_BleSerial/src/BleSerial.cpp
 
+      - name: Patch libmbedtls
+        run: |
+          cd Firmware/RTK_Everywhere/Patch/
+          cp libmbedtls.a /home/runner/.arduino15/packages/esp32/tools/esp32-arduino-libs/${{ env.ESP_IDF }}/esp32/lib/libmbedtls.a
+          cp libmbedtls_2.a /home/runner/.arduino15/packages/esp32/tools/esp32-arduino-libs/${{ env.ESP_IDF }}/esp32/lib/libmbedtls_2.a
+          cp libmbedcrypto.a /home/runner/.arduino15/packages/esp32/tools/esp32-arduino-libs/${{ env.ESP_IDF }}/esp32/lib/libmbedcrypto.a
+          cp libmbedx509.a /home/runner/.arduino15/packages/esp32/tools/esp32-arduino-libs/${{ env.ESP_IDF }}/esp32/lib/libmbedx509.a
+
       - name: Setup Python
         uses: actions/setup-python@v4
         with: