Update circle

3 years ago · a57c5b6092
parent eabef7a952
commit a57c5b6092
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 c9a4815 # develop
+           git checkout a8e8c9f # develop
           cd -
    - name: Install toolchains
      run: |