ci(nix): checkout pull request HEAD instead of merge commit

<https://github.com/actions/checkout?tab=readme-ov-file#Checkout-pull-request-HEAD-commit-instead-of-merge-commit>
This commit is contained in:
link2xt
2025-11-17 10:16:31 +00:00
parent cdfe436124
commit 6c527547dc

View File

@@ -25,6 +25,7 @@ jobs:
with:
show-progress: false
persist-credentials: false
ref: ${{ github.event.pull_request.head.sha }}
- uses: cachix/install-nix-action@fd24c48048070c1be9acd18c9d369a83f0fe94d7 # v31
- run: nix fmt flake.nix -- --check
@@ -84,6 +85,7 @@ jobs:
with:
show-progress: false
persist-credentials: false
ref: ${{ github.event.pull_request.head.sha }}
- uses: cachix/install-nix-action@fd24c48048070c1be9acd18c9d369a83f0fe94d7 # v31
- run: nix build .#${{ matrix.installable }}
@@ -105,5 +107,6 @@ jobs:
with:
show-progress: false
persist-credentials: false
ref: ${{ github.event.pull_request.head.sha }}
- uses: cachix/install-nix-action@fd24c48048070c1be9acd18c9d369a83f0fe94d7 # v31
- run: nix build .#${{ matrix.installable }}