From 485608cb959c41119b4ddd6dd68d77bf7c85bef1 Mon Sep 17 00:00:00 2001
From: samvang <59202064+samvang@users.noreply.github.com>
Date: Wed, 27 Mar 2024 12:22:02 +0100
Subject: [PATCH] add R flag

according to a Zulip comment..
---
 .github/workflows/blueprint.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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