remove cache

epfl-lara · Sep 6, 2024 · 223b91e · 223b91e
1 parent 1cc76f6
commit 223b91e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/bolts-CI.yml b/.github/workflows/bolts-CI.yml
@@ -22,7 +22,6 @@ jobs:
       with:
         distribution: temurin
         java-version: 17
-        cache: sbt
     - name: Install stainless and solvers
       run: ./install_stainless_and_solvers.sh $GITHUB_WORKSPACE/.local/bin $GITHUB_WORKSPACE/.local
     - name: Add stainless to PATH