From de58f5579d3ded1ff0527434167485612d11a57a Mon Sep 17 00:00:00 2001 From: Chamath Samarawickrama Date: Tue, 25 Jul 2023 08:27:29 +0530 Subject: [PATCH] Change Java version in PR builder workflow --- .github/workflows/pr-builder-test-JDK11.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pr-builder-test-JDK11.yml b/.github/workflows/pr-builder-test-JDK11.yml index 3bc6f010f3f..2b3b4749d55 100644 --- a/.github/workflows/pr-builder-test-JDK11.yml +++ b/.github/workflows/pr-builder-test-JDK11.yml @@ -42,7 +42,7 @@ jobs: - name: Set up Adopt JDK 11 uses: actions/setup-java@v2 with: - java-version: "11" + java-version: "11.0.19+7" distribution: "adopt" - name: Echo java 11 home run: |