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.
This commit is contained in:
parent
8a1110b5e6
commit
b42fbdd7ea
1 changed files with 0 additions and 4 deletions
|
@ -1,4 +0,0 @@
|
|||
{
|
||||
"rev": "b8697e57f10292a6165a20f03d2f42920dfaf973",
|
||||
"ci-path": "/nix/store/w6w7khwfq6qzm4bsyijhg7m2kqv9f9jl-nixpkgs-check-by-name"
|
||||
}
|
Loading…
Reference in a new issue