Remove unused CI files

2023-05-24 17:30:12 -07:00
parent 46c8b58eb5
commit 6c4781086f
2 changed files with 0 additions and 21 deletions
--- a/ci/scripts/build-pr-project.sh
+++ b/ci/scripts/build-pr-project.sh
@@ -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