diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6f42478..284bab9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -15,7 +15,7 @@ jobs:
     - name: Set up JDK 8
       uses: actions/setup-java@v3
       with:
-        java-version: '8'
+        java-version: '17'
         distribution: 'temurin'
     
     - name: Install ShadowProver