From db0ee0981df773ea99bdfa1fc178eb5034d09311 Mon Sep 17 00:00:00 2001
From: Ingmar Steiner <steiner@coli.uni-saarland.de>
Date: Tue, 23 Jan 2024 15:55:43 +0100
Subject: [PATCH] Upgrade Setup Java action to v4.0.0

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d07b6cb..dbf503b 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -29,7 +29,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4.1.1
 
-      - uses: actions/setup-java@v2
+      - uses: actions/setup-java@v4.0.0
         with:
           distribution: zulu
           java-version: ${{ matrix.java_version }}