diff options
| author | bors <bors@rust-lang.org> | 2024-04-26 05:27:00 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-26 05:27:00 +0000 |
| commit | 82921058e759717f56c3e9b23c114577dbdffdfb (patch) | |
| tree | f56969ba1a30728239bb8db65a17fea1ad06bbdf /src/ci/scripts | |
| parent | 9f7194b5eb05022822be25f2011c1cc73ba972b5 (diff) | |
| parent | 4be9c689f6601c4359f018ddec52a7dec9a8ac66 (diff) | |
| download | rust-82921058e759717f56c3e9b23c114577dbdffdfb.tar.gz rust-82921058e759717f56c3e9b23c114577dbdffdfb.zip | |
Auto merge of #3515 - rust-lang:rustup-2024-04-26, r=oli-obk
Automatic Rustup
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 |