From a85c21f937abc3cbc0975ba3e3e6ffc4ee7a92f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20L=C3=B3pez-Contreras?= <javierlc2000@gmail.com>
Date: Wed, 4 Dec 2024 13:47:38 +0000
Subject: [PATCH] build docs

---
 .github/workflows/push_master.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push_master.yml b/.github/workflows/push_master.yml
index d323ceb87c..9e40183633 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 Lean:docs
+        run: ~/.elan/bin/lake -Kenv=dev build LeanCamCombi:docs
 
       # - name: Build blueprint and copy to `website/blueprint`
       #   uses: xu-cheng/texlive-action@v2