diff options
| author | bors <bors@rust-lang.org> | 2024-04-25 06:35:26 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-25 06:35:26 +0000 |
| commit | 865808b33bfc7861c28ba6111ed4eac45cbeeeb4 (patch) | |
| tree | af86db24ff2baedb71d9f4f67670647b88239220 /src/ci/scripts | |
| parent | 284f94f9c0f77ad4ef85323a634cfda29c1a801d (diff) | |
| parent | 036bf570adace91c6c0a8f6434550d9f18a7a228 (diff) | |
| download | rust-865808b33bfc7861c28ba6111ed4eac45cbeeeb4.tar.gz rust-865808b33bfc7861c28ba6111ed4eac45cbeeeb4.zip | |
Auto merge of #124360 - matthiaskrgr:rollup-k6bffhd, r=matthiaskrgr
Rollup of 3 pull requests Successful merges: - #124257 (Rewrite the `no-input-file.stderr` test in Rust and support diff) - #124324 (Minor AST cleanups) - #124327 (CI: implement job skipping in Python matrix calculation) r? `@ghost` `@rustbot` modify labels: rollup
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 |
