From 4662706d84c79675528fde71ede15ad396ae3d4b Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Thu, 28 Dec 2023 17:47:04 +0100
Subject: [PATCH] JDK 17
---
.github/workflows/ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 592af2bb..2dc7c313 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 1.8
+ - name: Set up JDK @v1
uses: actions/setup-java@v1
with:
- java-version: 1.8
+ java-version: 21
- name: Compile
run: sbt compile
- name: Run tests
--
GitLab