From 415ff4ebab3809e61265d98af69068698b8e539b Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Wed, 20 Sep 2023 14:48:12 +0000
Subject: [PATCH] chore(deps): update actions/setup-java action to v3.13.0

---
 .github/workflows/pr_ci.yml   | 2 +-
 .github/workflows/push_ci.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pr_ci.yml b/.github/workflows/pr_ci.yml
index b03cf9301d..7f08bbaaff 100644
--- a/.github/workflows/pr_ci.yml
+++ b/.github/workflows/pr_ci.yml
@@ -26,7 +26,7 @@ jobs:
           fetch-depth: 0
 
       - name: set up JDK 17
-        uses: actions/setup-java@v3.12.0
+        uses: actions/setup-java@v3.13.0
         with:
           java-version: '17'
           distribution: 'adopt'
diff --git a/.github/workflows/push_ci.yml b/.github/workflows/push_ci.yml
index 25b8f87920..e25fe6620a 100644
--- a/.github/workflows/push_ci.yml
+++ b/.github/workflows/push_ci.yml
@@ -28,7 +28,7 @@ jobs:
           submodules: 'recursive'
           fetch-depth: 0
       - name: set up JDK 17
-        uses: actions/setup-java@v3.12.0
+        uses: actions/setup-java@v3.13.0
         with:
           java-version: '17'
           distribution: 'adopt'