diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ba1ad2f..476b308 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -30,7 +30,7 @@ jobs:
           cd ../
           git clone https://github.com/hargonix/LeanInk
           cd LeanInk
-          git checkout doc-gen
+          git checkout doc-gen-json
           lake build
 
       - name: Checkout and compile mathlib4