From e2897975e66dbf8cc254fea892df0cb803e7fb45 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Mon, 24 Jul 2023 12:44:03 +0000
Subject: [PATCH] Update actions/setup-java action to v3.12.0

---
 .github/workflows/push_ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/push_ci.yml b/.github/workflows/push_ci.yml
index 7322910..a65376b 100644
--- a/.github/workflows/push_ci.yml
+++ b/.github/workflows/push_ci.yml
@@ -73,7 +73,7 @@ jobs:
           fetch-depth: 0
 
       - name: Set up JDK 17
-        uses: actions/setup-java@v3.11.0
+        uses: actions/setup-java@v3.12.0
         with:
           distribution: zulu
           java-version: 17
@@ -105,7 +105,7 @@ jobs:
         uses: actions/checkout@v3.5.3
 
       - name: Set up JDK 17
-        uses: actions/setup-java@v3.11.0
+        uses: actions/setup-java@v3.12.0
         with:
           distribution: zulu
           java-version: 17