Update Circle develop branch to c9a4815

[ci skip]
3 years ago · 04c4d02383
parent 52b8900293
commit 04c4d02383
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: |