must use monkey signs

epfl-lara · Nov 22, 2024 · 823a584 · 823a584
1 parent f9ab7e1
commit 823a584
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -18,7 +18,7 @@ jobs:
       with:
         submodules: recursive
     - name: Setup JDK
-      uses: actions/setup-java
+      uses: actions/setup-java@v4
       with:
         distribution: temurin
         java-version: 17