Fix FreeRTOS version in CI

eclipse-zenoh · Dec 19, 2024 · ed1f923 · ed1f923
1 parent c5342d9
commit ed1f923
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/rpi_pico.yaml b/.github/workflows/rpi_pico.yaml
@@ -50,6 +50,8 @@ jobs:
           mkdir -p $FREERTOS_KERNEL_PATH
           cd $FREERTOS_KERNEL_PATH
           git clone https://github.com/FreeRTOS/FreeRTOS-Kernel.git .
+          # Some version witch aleready supports the Pico SDK but not the latest, because somtimes latest is broken
+          git checkout e169442c29ba8e26faf033cc0886029dd5812979 
           git submodule update --init
           
       - name: Build examples