From 0fc1a7fdd9034a9551313cc98af89ab492f82d9f Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sat, 4 May 2024 22:51:11 -0700
Subject: [PATCH] Update actions/setup-java to v4 (#287)

---
 .github/workflows/small-test.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 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