Reactivate docs build

The problem was fixed in leanprover/doc-gen4#243
YaelDillies · Dec 18, 2024 · 4bb5fe3 · 4bb5fe3
1 parent 3507e24
commit 4bb5fe3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/push_master.yml b/.github/workflows/push_master.yml
@@ -75,8 +75,7 @@ jobs:
             MathlibDoc-
 
       - name: Build documentation
-        run: ls
-        # ~/.elan/bin/lake -Kenv=dev build LeanCamCombi:docs
+        run: ~/.elan/bin/lake -Kenv=dev build LeanCamCombi:docs
 
       # - name: Build blueprint and copy to `website/blueprint`
       #   uses: xu-cheng/texlive-action@v2