CI: Fix patch revert hack.

pull/759/head
Phil Howard 2023-04-27 13:45:26 +01:00
rodzic c25de67247
commit 8e0fe155c5
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -134,9 +134,9 @@ jobs:
- name: "HACK: Revert Pico SDK Patch" # Avoid an already-patched MicroPython tree breaking our build
shell: bash
working-directory: micropython
working-directory: micropython/lib/pico-sdk
run: |
git checkout lib/pico-sdk
git checkout .
- name: "HACK: Pico SDK Patch"
if: matrix.patch == true