change java distro

Author: tinyg210

.github/workflows/ci.yml

@@ -30,7 +30,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v2
         with:
-          distribution: 'corretto'
+          distribution: 'temurin'
           java-version: '17'
 
       - name: Set up Maven