From 50fac15dd283a7b28deb0385312c819bfd3c8adc Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Sun, 24 Nov 2024 17:21:06 +0100
Subject: [PATCH] CI: setup-java@v3 -> setup-java@v4

---
 .github/workflows/stainless-CI.yml      | 2 +-
 .github/workflows/stainless-nightly.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
index 578bf83bc..eb7c7da1e 100644
--- a/.github/workflows/stainless-CI.yml
+++ b/.github/workflows/stainless-CI.yml
@@ -20,7 +20,7 @@ jobs:
       with:
         submodules: recursive
     - name: Setup JDK
-      uses: actions/setup-java@v3
+      uses: actions/setup-java@v4
       with:
         distribution: temurin
         java-version: 17
diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml
index fb1cb0d69..67b8613d0 100644
--- a/.github/workflows/stainless-nightly.yml
+++ b/.github/workflows/stainless-nightly.yml
@@ -16,7 +16,7 @@ jobs:
       with:
         submodules: recursive
     - name: Setup JDK
-      uses: actions/setup-java@v3
+      uses: actions/setup-java@v4
       with:
         distribution: temurin
         java-version: 17