diff --git a/.github/workflows/lean_build.yml b/.github/workflows/lean_build.yml
index c41eb4a8..41dfdaed 100644
--- a/.github/workflows/lean_build.yml
+++ b/.github/workflows/lean_build.yml
@@ -15,6 +15,6 @@ jobs:
       - uses: leanprover/lean-action@v1-beta
         with:
           test: false
-          build-args: "-Kwerror"
+          build-args: "-R -Kwerror"
           use-mathlib-cache: true
-          use-github-cache: true
+          use-github-cache: false
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 2e068258..ac90e3c8 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -23,12 +23,12 @@ jobs:
         with:
           test: false
           use-mathlib-cache: true
-          use-github-cache: true
-          build-args: "-Kwerror"
+          use-github-cache: false
+          build-args: "-R -Kwerror"
 
       - name: build FastExtract
         run: |
-          lake build -Kwerror FastExtract
+          lake build -R -Kwerror FastExtract
 
       - name: build Python version of SampCert
         run: dafny/dafny build --target:py Tests/SampCert.dfy Tests/Random.py Tests/testing-kolmogorov-discretegaussian.py Tests/testing-kolmogorov-discretelaplace.py -o Tests/SampCert.dfy