diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 1fa7f0d..7ca6231 100644
--- 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: |