diff options
| author | Silvan Mosberger <silvan.mosberger@tweag.io> | 2024-03-26 21:36:43 +0100 |
|---|---|---|
| committer | Silvan Mosberger <silvan.mosberger@tweag.io> | 2024-03-26 21:36:43 +0100 |
| commit | b42fbdd7ea72e95fad3e7595b68b440b6f4665a7 (patch) | |
| tree | 374ceef5ad22b9f76273f5fcf63b121150dfacca /pkgs/test/nixpkgs-check-by-name | |
| parent | 8a1110b5e6de839fc649feadde97f71ad3f4d1b3 (diff) | |
check-by-name: Remove now-unnecessary scripts/pinned-tool.json
It was not removed in https://github.com/NixOS/nixpkgs/pull/297901 so that CI for that PR itself would not fail since CI runs from the base branch.
Diffstat (limited to 'pkgs/test/nixpkgs-check-by-name')
| -rw-r--r-- | pkgs/test/nixpkgs-check-by-name/scripts/pinned-tool.json | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/test/nixpkgs-check-by-name/scripts/pinned-tool.json b/pkgs/test/nixpkgs-check-by-name/scripts/pinned-tool.json deleted file mode 100644 index 350e71bffc79c..0000000000000 --- a/pkgs/test/nixpkgs-check-by-name/scripts/pinned-tool.json +++ /dev/null @@ -1,4 +0,0 @@ -{ - "rev": "b8697e57f10292a6165a20f03d2f42920dfaf973", - "ci-path": "/nix/store/w6w7khwfq6qzm4bsyijhg7m2kqv9f9jl-nixpkgs-check-by-name" -} |