diff options
author | Silvan Mosberger <contact@infinisil.com> | 2024-01-16 21:54:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-16 21:54:03 +0100 |
commit | ac1638d014fdb76df76d15a6deee8687635f34a8 (patch) | |
tree | bb409cd0b763dc0e773da42394b1e4b1c4830b23 /pkgs | |
parent | 82f177603566265d6d37218e40110378e101f10c (diff) | |
parent | 6d5f575fd0bc6bb9abc953354cc67eac025f0517 (diff) | |
download | nixlib-ac1638d014fdb76df76d15a6deee8687635f34a8.tar nixlib-ac1638d014fdb76df76d15a6deee8687635f34a8.tar.gz nixlib-ac1638d014fdb76df76d15a6deee8687635f34a8.tar.bz2 nixlib-ac1638d014fdb76df76d15a6deee8687635f34a8.tar.lz nixlib-ac1638d014fdb76df76d15a6deee8687635f34a8.tar.xz nixlib-ac1638d014fdb76df76d15a6deee8687635f34a8.tar.zst nixlib-ac1638d014fdb76df76d15a6deee8687635f34a8.zip |
Merge pull request #281394 from tweag/by-name-remove-legacy-script
check-by-name: Remove legacy script
Diffstat (limited to 'pkgs')
-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 005c580ead06..000000000000 --- 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" |