git checkout ae22928 # develop

3 years ago · 64fc228a66
parent 82625415c9
commit 64fc228a66
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 develop
+           git checkout ae22928 # develop
           cd -
    - name: Install toolchains
      run: |