Skip to content

Commit

Permalink
CI: Cherry-pick our pins.csv patch.
Browse files Browse the repository at this point in the history
  • Loading branch information
Gadgetoid committed Jun 6, 2024
1 parent 6eef96d commit 48f2446
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion ci/micropython.sh
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ function micropython_clone {
git clone https://github.com/micropython/micropython
cd micropython
git checkout $MICROPYTHON_VERSION
git cherry-pick -n 932f76c6ba64c5a3e68de3324556d9979f09303b
git submodule update --init lib/pico-sdk
git submodule update --init lib/cyw43-driver
git submodule update --init lib/lwip
Expand Down Expand Up @@ -73,4 +74,4 @@ function cmake_build {
ccache --show-stats || true
cd build-$BOARD_NAME
cp firmware.uf2 $RELEASE_FILE.uf2
}
}

0 comments on commit 48f2446

Please sign in to comment.