From 94d0fe1a7b32dcbaeb5099b6179c98bfd2a509a6 Mon Sep 17 00:00:00 2001
From: de Medeiros <markusjd@amazon.com>
Date: Thu, 18 Jul 2024 14:28:41 -0400
Subject: [PATCH] add -R, remove caches

---
 .github/workflows/lean_build.yml | 4 ++--
 .github/workflows/test.yml       | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

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