Polish "Migrate building PRs to GitHub Action"

See gh-345

.github/workflows/pr-build-workflow.yml

@@ -1,23 +1,23 @@
-name: Pull Request build
+name: Build Pull Request
+on: pull_request
 
-on:
-  pull_request:
-    branches: [ main ]
+permissions:
+  contents: read
 
 jobs:
   build:
-
+    name: Build pull request
     runs-on: ubuntu-latest
-
+    if: ${{ github.repository == 'spring-projects/spring-retry' }}
     steps:
-
-      - uses: actions/checkout@v3
-
-      - name: Set up JDK
+      - name: Set up JDK 17
         uses: actions/setup-java@v3
         with:
-          distribution: 'temurin'
-          java-version: 17
+          java-version: '17'
+          distribution: 'liberica'
 
-      - name: Build with Maven
-        run: mvnw --batch-mode --update-snapshots verify
+      - name: Check out code
+        uses: actions/checkout@v3
+
+      - name: Build
+        run: ./mvnw --batch-mode --update-snapshots verify

ci/tasks/build-pr-project.yml

@@ -1,10 +0,0 @@
----
-platform: linux
-inputs:
-- name: git-repo
-outputs:
-- name: distribution-repository
-caches:
-- path: maven
-run:
-  path: git-repo/ci/scripts/build-project.sh