diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index d5a6c41..273483a 100644
--- 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
\ No newline at end of file
+          mv docs/docs .lake/build/doc