add R flag

according to a Zulip comment..
samvang · Mar 27, 2024 · 485608c · 485608c
1 parent 2599a5a
commit 485608c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -47,7 +47,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
@@ -89,4 +89,4 @@ jobs:
 
       - name: Make sure the cache works
         run: |
-          mv docs/docs .lake/build/doc
+          mv docs/docs .lake/build/doc