Update CI pipeline

2023-05-25 10:37:43 +01:00
parent e741790f02
commit 7b7ca6659d
3 changed files with 0 additions and 64 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 buildSamples
-popd > /dev/null