Fix build pipeline label [skip ci]

Author: atextor

.github/workflows/pull_request_check.yml

@@ -10,7 +10,7 @@ jobs:
     steps:
     - name: Checkout
       uses: actions/[email protected]
-    - name: Set up JDK 11
+    - name: Set up JDK 17
       uses: actions/setup-java@v2
       with:
         distribution: 'temurin'