From c627e44dfe1dd9bbf9c728d3acfa32eb86db2f82 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Thu, 28 Dec 2023 17:59:17 +0100
Subject: [PATCH] JDK
---
.github/workflows/ci.yml | 5 ++---
project/build.properties | 2 +-
2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2dc7c313..dd38e89a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -9,10 +9,10 @@ jobs:
steps:
- uses: actions/checkout@v2
- - name: Set up JDK @v1
+ - name: Set up JDK
uses: actions/setup-java@v1
with:
- java-version: 21
+ java-version: 17
- name: Compile
run: sbt compile
- name: Run tests
@@ -25,4 +25,3 @@ jobs:
run: sbt "lisa-sets / compile"
- name: Compile examples
run: sbt "lisa-examples / compile"
-
diff --git a/project/build.properties b/project/build.properties
index f1a9ac34..553c9d3e 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1,2 +1,2 @@
-sbt.version = 1.8.2
+sbt.version = 1.9.3
--
GitLab