add -R, remove caches

leanprover · Jul 18, 2024 · 94d0fe1 · 94d0fe1
1 parent b653201
commit 94d0fe1
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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