From 3f1e8d65e6282ce1bedbc7a380e6287be3a7869d Mon Sep 17 00:00:00 2001 From: Chris Bono Date: Mon, 25 Sep 2023 18:42:18 -0500 Subject: [PATCH] Use larger runner for PR workflow See gh-37578 --- .github/workflows/build-pull-request.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-pull-request.yml b/.github/workflows/build-pull-request.yml index 0f5daeca5e5..9f691c47803 100644 --- a/.github/workflows/build-pull-request.yml +++ b/.github/workflows/build-pull-request.yml @@ -7,7 +7,7 @@ permissions: jobs: build: name: Build pull request - runs-on: ubuntu-latest + runs-on: ubuntu22-8-32 if: ${{ github.repository == 'spring-projects/spring-boot' }} steps: - name: Set up JDK 8