diff options
| author | Silvan Mosberger <contact@infinisil.com> | 2024-01-16 21:48:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-16 21:48:03 +0100 |
| commit | aaa6573ed56a0f81f5932c9939c05af8e08c04dc (patch) | |
| tree | f65b753b6511c2e338a55d9f54970fb98d536a2a /.github | |
| parent | bf54848f3be7a0c9a1e050eed1b79856624ec08f (diff) | |
| parent | cc422e321e33f0e0f9fa085df71efbfd089bd914 (diff) | |
Merge pull request #281374 from tweag/by-name-check-pin
workflows/check-by-name: Pin nixpkgs-check-by-name tool
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/check-by-name.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/check-by-name.yml b/.github/workflows/check-by-name.yml index a9a6181a47bdf..9152a2a61708e 100644 --- a/.github/workflows/check-by-name.yml +++ b/.github/workflows/check-by-name.yml @@ -92,7 +92,7 @@ jobs: echo "base=$base" >> "$GITHUB_ENV" - uses: cachix/install-nix-action@7ac1ec25491415c381d9b62f0657c7a028df52a7 # v24 - name: Fetching the tool - run: pkgs/test/nixpkgs-check-by-name/scripts/fetch-tool.sh "$GITHUB_BASE_REF" result + run: pkgs/test/nixpkgs-check-by-name/scripts/fetch-pinned-tool.sh result - name: Running nixpkgs-check-by-name run: | if result/bin/nixpkgs-check-by-name --base "$base" .; then |