git checkout circle-newlib 48bf91d

Needed for circle ec09d7e
2 years ago · ac416a836a
parent 67a69b8cb3
commit ac416a836a
1 changed files with 3 additions and 0 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@ -29,6 +29,9 @@ jobs:
           cd circle-stdlib/libs/circle
           git checkout ec09d7e # develop
           cd -
+           cd circle-stdlib/libs/circle-newlib
+           git checkout 48bf91d # needed for circle ec09d7e
+           cd -
    - name: Install toolchains
      run: |
           set -ex