diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 1bd04dd..ef8d1be 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 c9a4815 # develop
+           git checkout a8e8c9f # develop
            cd -
     - name: Install toolchains
       run: |