Update Circle to develop branch c9a4815

3 years ago · b3d939eb16
parent 52b8900293
commit b3d939eb16
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@ -24,7 +24,7 @@ jobs:
      run: |
           set -ex
           cd circle-stdlib/libs/circle
-           git checkout ae22928 # develop
+           git checkout c9a4815 # develop
           cd -
    - name: Install toolchains
      run: |