From 223b91e151b4b8bb3f4827f07febd811395cfd74 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Fri, 6 Sep 2024 17:21:54 +0200
Subject: [PATCH] remove cache

---
 .github/workflows/bolts-CI.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/bolts-CI.yml b/.github/workflows/bolts-CI.yml
index 4cdb680b..faa2e7ed 100644
--- 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