Bump actions/setup-java from 3.12.0 to 3.13.0 (#127)

Bumps [actions/setup-java](https://github.com/actions/setup-java) from 3.12.0 to 3.13.0.
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](actions/setup-java@v3.12.0...v3.13.0)

---
updated-dependencies:
- dependency-name: actions/setup-java
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

.github/workflows/pull.yml

@@ -19,7 +19,7 @@ jobs:
       - name: Checkout
         uses: actions/[email protected]
       - name: Set up Java JDK
-        uses: actions/setup-java@v3.12.0
+        uses: actions/setup-java@v3.13.0
         with:
           java-version: '17'
           distribution: 'zulu'

.github/workflows/push_dev.yml

@@ -19,7 +19,7 @@ jobs:
       - name: Checkout
         uses: actions/[email protected]
       - name: Set up Java JDK
-        uses: actions/setup-java@v3.12.0
+        uses: actions/setup-java@v3.13.0
         with:
           java-version: '17'
           distribution: 'zulu'

.github/workflows/push_release.yml

@@ -32,7 +32,7 @@ jobs:
           restore-keys: |
             release-build-${{ github.ref }}
       - name: Set up Java JDK
-        uses: actions/setup-java@v3.12.0
+        uses: actions/setup-java@v3.13.0
         with:
           java-version: '17'
           distribution: 'zulu'
@@ -128,7 +128,7 @@ jobs:
           restore-keys: |
             ${{ github.workflow }}-docker-${{ github.ref }}
       - name: Set up Java JDK
-        uses: actions/setup-java@v3.12.0
+        uses: actions/setup-java@v3.13.0
         with:
           java-version: '17'
           distribution: 'zulu'