From b8238f20bb41c8af412f0626bb68f4fe326e0ac9 Mon Sep 17 00:00:00 2001
From: Rodolfo Jordao <jordao@kth.se>
Date: Thu, 23 Nov 2023 19:38:37 +0100
Subject: [PATCH] Fixed build trial, 5

---
 .github/workflows/test-case-studies.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test-case-studies.yml b/.github/workflows/test-case-studies.yml
index 5d588dd7..6d761b4f 100644
--- a/.github/workflows/test-case-studies.yml
+++ b/.github/workflows/test-case-studies.yml
@@ -35,7 +35,7 @@ jobs:
           ./gradlew publishModules
           curl -fL "https://github.com/coursier/launchers/raw/master/cs-x86_64-pc-linux-static.gz" | gzip -d > cs
           chmod +x ./cs
-          ./cs setup --yes
+          ./cs setup --jvm "adoptium:1.17" --yes
           sbt publishModules
           curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- --default-toolchain stable -y 
           source "$HOME/.cargo/env"