diff --git a/.github/workflows/push_master.yml b/.github/workflows/push_master.yml
index 275a34fafb..69667104a6 100644
--- a/.github/workflows/push_master.yml
+++ b/.github/workflows/push_master.yml
@@ -75,7 +75,7 @@ jobs:
             MathlibDoc-
 
       - name: Build documentation
-        run: ~/.elan/bin/lake -Kenv=dev build Batteries:docs
+        run: ~/.elan/bin/lake -Kenv=dev build Lean:docs
 
       # - name: Build blueprint and copy to `website/blueprint`
       #   uses: xu-cheng/texlive-action@v2