From 3adc9928b14a4a7a84fafbe005732ba32e792945 Mon Sep 17 00:00:00 2001 From: Colm O hEigeartaigh Date: Thu, 15 Aug 2024 08:16:53 +0100 Subject: [PATCH] Revert "Switching PR builder to use Java 11" This reverts commit a6d83ef6c3f06ef2fc71f118d65b05cb6fe37e97. --- .github/workflows/pull-request-build.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pull-request-build.yaml b/.github/workflows/pull-request-build.yaml index 92e927fcd0..a03592822f 100644 --- a/.github/workflows/pull-request-build.yaml +++ b/.github/workflows/pull-request-build.yaml @@ -16,10 +16,10 @@ jobs: timeout-minutes: 130 steps: - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 - - name: Set up JDK 11 + - name: Set up JDK 8 uses: actions/setup-java@6a0805fcefea3d4657a47ac4c165951e33482018 # v4.2.2 with: - java-version: '11' + java-version: '8' distribution: 'temurin' cache: maven - name: Build with Apache Maven