Update2 push.yml

leanprover-community · Jul 23, 2024 · 568bb45 · 568bb45
1 parent bad4bad
commit 568bb45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -57,7 +57,7 @@ jobs:
             DocGen4-
 
       - name: Build documentation
-        run: ~/.elan/bin/lake -Kenv=dev build FltRegular:docs
+        run: ~/.elan/bin/lake -R -Kenv=dev build FltRegular:docs
 
       - name: Install Python
         uses: actions/setup-python@v4