diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 8941812..7ee4ebb 100644 --- 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