diff --git a/.buildkite/coverage-in-disk.sh b/.buildkite/coverage-in-disk.sh new file mode 100644 index 000000000..cf881c3c2 --- /dev/null +++ b/.buildkite/coverage-in-disk.sh @@ -0,0 +1,18 @@ +#!/usr/bin/env bash +# +# This script is used to upload the full buildkite pipeline. The steps defined +# in the buildkite UI should simply be: +# +# steps: +# - command: ".buildkite/pipeline-upload.sh" +# + +set -e +cd "$(dirname "$0")"/.. +source ci/_ + +_ ci/buildkite-pipeline-in-disk.sh pipeline.yml +echo +++ pipeline +cat pipeline.yml + +_ buildkite-agent pipeline upload pipeline.yml