From 68324c4143cf7ab9568df623a516c04ddc74e25d Mon Sep 17 00:00:00 2001 From: Andy Wilkinson Date: Wed, 29 Jul 2020 17:54:54 +0100 Subject: [PATCH] Build pull requests with --continue Closes gh-22645 --- ci/scripts/build-pr-project.sh | 8 ++++++++ ci/tasks/build-pr-project.yml | 2 +- 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 ci/scripts/build-pr-project.sh diff --git a/ci/scripts/build-pr-project.sh b/ci/scripts/build-pr-project.sh new file mode 100644 index 0000000000..9a80167ac9 --- /dev/null +++ b/ci/scripts/build-pr-project.sh @@ -0,0 +1,8 @@ +#!/bin/bash +set -e + +source $(dirname $0)/common.sh + +pushd git-repo > /dev/null +./gradlew -Dorg.gradle.internal.launcher.welcomeMessageEnabled=false --no-daemon --max-workers=4 --continue build +popd > /dev/null diff --git a/ci/tasks/build-pr-project.yml b/ci/tasks/build-pr-project.yml index e07799419d..c5a7637f33 100644 --- a/ci/tasks/build-pr-project.yml +++ b/ci/tasks/build-pr-project.yml @@ -10,4 +10,4 @@ params: CI: true GRADLE_ENTERPRISE_URL: https://ge.spring.io run: - path: git-repo/ci/scripts/build-project.sh + path: git-repo/ci/scripts/build-pr-project.sh