From db138a530cadfc91241ac158a188cefe7452c90e Mon Sep 17 00:00:00 2001
From: graham sanderson <graham.sanderson@raspberrypi.com>
Date: Mon, 31 May 2021 11:10:55 -0500
Subject: [PATCH] Switch checks to use tinyusb-0.10.0 branch of pico-sdk due to
 circular dependency

---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0ed20b859..0c91bda84 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -68,6 +68,7 @@ jobs:
       if: matrix.family == 'rp2040'
       run: |
         git clone --depth 1 https://github.com/raspberrypi/pico-sdk ~/pico-sdk
+        git checkout tinyusb-0.10.0
         echo >> $GITHUB_ENV PICO_SDK_PATH=~/pico-sdk
 
     - name: Set Toolchain URL