From 6c4781086fc2fec77b0994e09e4a561d8739b616 Mon Sep 17 00:00:00 2001
From: Phillip Webb <pwebb@vmware.com>
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 9a80167ac9b..00000000000
--- 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 c5a7637f337..00000000000
--- 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