diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-04-26 05:08:12 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-04-26 05:08:12 +0000 |
| commit | 4be9c689f6601c4359f018ddec52a7dec9a8ac66 (patch) | |
| tree | f56969ba1a30728239bb8db65a17fea1ad06bbdf /src/ci/scripts | |
| parent | 4dcc2fac06a2d9194a05853482dcdf6d453f251d (diff) | |
| parent | 6acb9e75ebc936df737381a9d0b7a7bccd6f0b2f (diff) | |
| download | rust-4be9c689f6601c4359f018ddec52a7dec9a8ac66.tar.gz rust-4be9c689f6601c4359f018ddec52a7dec9a8ac66.zip | |
Merge from rustc
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/should-skip-this.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/ci/scripts/should-skip-this.sh b/src/ci/scripts/should-skip-this.sh deleted file mode 100755 index 48127166ad0..00000000000 --- a/src/ci/scripts/should-skip-this.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash -# Set the SKIP_JOB environment variable if this job is not supposed to run on the current builder. - -set -euo pipefail -IFS=$'\n\t' - -source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" - -if [[ -n "${CI_ONLY_WHEN_CHANNEL-}" ]]; then - if [[ "${CI_ONLY_WHEN_CHANNEL}" = "$(cat src/ci/channel)" ]]; then - echo "The channel is the expected one" - else - echo "Not executing this job as the channel is not the expected one" - ciCommandSetEnv SKIP_JOB 1 - exit 0 - fi -fi - - -echo "Executing the job since there is no skip rule preventing the execution" -exit 0 |