diff options
author | Silvan Mosberger <silvan.mosberger@tweag.io> | 2024-01-16 21:50:34 +0100 |
---|---|---|
committer | Silvan Mosberger <silvan.mosberger@tweag.io> | 2024-01-16 21:50:34 +0100 |
commit | 6d5f575fd0bc6bb9abc953354cc67eac025f0517 (patch) | |
tree | 52917c210bca15c489657876ec822a416c2ca58b /pkgs/test | |
parent | aaa6573ed56a0f81f5932c9939c05af8e08c04dc (diff) |
check-by-name: Remove legacy script
fetch-tool.sh was decommissioned in https://github.com/NixOS/nixpkgs/pull/281374, see the removed comment for why it can only be removed now
Diffstat (limited to 'pkgs/test')
-rwxr-xr-x | pkgs/test/nixpkgs-check-by-name/scripts/fetch-tool.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/pkgs/test/nixpkgs-check-by-name/scripts/fetch-tool.sh b/pkgs/test/nixpkgs-check-by-name/scripts/fetch-tool.sh deleted file mode 100755 index 005c580ead06f..0000000000000 --- a/pkgs/test/nixpkgs-check-by-name/scripts/fetch-tool.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env bash -# Legacy script to make CI work for the PR that replaces this -# Needed due to `.github/workflows/check-by-name.yml` using `pull_request_target`, -# which uses the workflow from the base branch, which still uses this script. -# This file can be removed after the PR replacing it is merged. - -trace() { echo >&2 "$@"; } - -if (( $# < 2 )); then - trace "Usage: $0 BASE_BRANCH OUTPUT_PATH" - trace "BASE_BRANCH (unused): The base branch to use, e.g. master or release-23.11" - trace "OUTPUT_PATH: The output symlink path for the tool" - exit 1 -fi -output=$2 - -SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) - -"$SCRIPT_DIR"/fetch-pinned-tool.sh "$output" |