From 6c4781086fc2fec77b0994e09e4a561d8739b616 Mon Sep 17 00:00:00 2001 From: Phillip Webb Date: Wed, 24 May 2023 17:30:12 -0700 Subject: [PATCH] Remove unused CI files --- ci/scripts/build-pr-project.sh | 8 -------- ci/tasks/build-pr-project.yml | 13 ------------- 2 files changed, 21 deletions(-) delete mode 100755 ci/scripts/build-pr-project.sh delete mode 100644 ci/tasks/build-pr-project.yml diff --git a/ci/scripts/build-pr-project.sh b/ci/scripts/build-pr-project.sh deleted file mode 100755 index 9a80167ac9..0000000000 --- a/ci/scripts/build-pr-project.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/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 deleted file mode 100644 index c5a7637f33..0000000000 --- a/ci/tasks/build-pr-project.yml +++ /dev/null @@ -1,13 +0,0 @@ ---- -platform: linux -inputs: -- name: git-repo -outputs: -- name: distribution-repository -caches: -- path: gradle -params: - CI: true - GRADLE_ENTERPRISE_URL: https://ge.spring.io -run: - path: git-repo/ci/scripts/build-pr-project.sh