From 836d32a7a1a2002866cfb1920638209ac9abfee6 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Sun, 8 Sep 2024 10:03:59 +0200
Subject: [PATCH] Also download sbt in nightly

---
 .github/workflows/stainless-nightly.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml
index b1983cec0..7b277442a 100644
--- a/.github/workflows/stainless-nightly.yml
+++ b/.github/workflows/stainless-nightly.yml
@@ -19,7 +19,11 @@ jobs:
       with:
         distribution: temurin
         java-version: 17
-        cache: sbt
+    - name: Install and unpack sbt
+      run: |
+        wget https://github.com/sbt/sbt/releases/download/v1.10.1/sbt-1.10.1.tgz
+        tar xfz sbt-1.10.1.tgz
+        echo "PATH=./sbt/bin/:$PATH" >> "$GITHUB_ENV"
     - name: Install solvers
       run: ./stainless-ci.sh --install-solvers $GITHUB_WORKSPACE/.local/bin
     - name: Add solvers to PATH