From 4ef36302f25bcf456559e333012daac80fd22674 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sat, 4 May 2024 22:26:38 -0700
Subject: [PATCH] Update actions/setup-java

---
 .github/workflows/small-test.yml  | 6 +++---
 .github/workflows/test-replay.yml | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/small-test.yml b/.github/workflows/small-test.yml
index 3300f54ee5..febdff45eb 100644
--- a/.github/workflows/small-test.yml
+++ b/.github/workflows/small-test.yml
@@ -10,19 +10,19 @@ jobs:
       run:
         shell: bash -l {0}
     steps:
-    - uses: actions/setup-java@v3
+    - uses: actions/setup-java@v4
       with:
         distribution: 'zulu'
         java-version: 8
     - run: echo "JAVA8_HOME=$JAVA_HOME" >> $GITHUB_ENV
     - run: java -version
-    - uses: actions/setup-java@v3
+    - uses: actions/setup-java@v4
       with:
         distribution: 'zulu'
         java-version: 11
     - run: echo "JAVA11_HOME=$JAVA_HOME" >> $GITHUB_ENV
     - run: java -version
-    - uses: actions/setup-java@v3
+    - uses: actions/setup-java@v4
       with:
         distribution: 'zulu'
         java-version: 17
diff --git a/.github/workflows/test-replay.yml b/.github/workflows/test-replay.yml
index d2fc8efbbb..b214675c32 100644
--- a/.github/workflows/test-replay.yml
+++ b/.github/workflows/test-replay.yml
@@ -10,19 +10,19 @@ jobs:
       run:
         shell: bash -l {0}
     steps:
-    - uses: actions/setup-java@v3
+    - uses: actions/setup-java@v4
       with:
         distribution: 'zulu'
         java-version: 8
     - run: echo "JAVA8_HOME=$JAVA_HOME" >> $GITHUB_ENV
     - run: java -version
-    - uses: actions/setup-java@v3
+    - uses: actions/setup-java@v4
       with:
         distribution: 'zulu'
         java-version: 11
     - run: echo "JAVA11_HOME=$JAVA_HOME" >> $GITHUB_ENV
     - run: java -version
-    - uses: actions/setup-java@v3
+    - uses: actions/setup-java@v4
       with:
         distribution: 'zulu'
         java-version: 17