Build pull requests with --continue

Closes gh-22645
This commit is contained in:
Andy Wilkinson
2020-07-29 17:54:54 +01:00
parent 9bcd205ff8
commit 68324c4143
2 changed files with 9 additions and 1 deletions

View File

@@ -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