Skip to content

ci: fix update-dist checkout for fork PRs#107

Merged
deacon-mp merged 1 commit into
masterfrom
fix/update-dist-checkout-ref
Apr 13, 2026
Merged

ci: fix update-dist checkout for fork PRs#107
deacon-mp merged 1 commit into
masterfrom
fix/update-dist-checkout-ref

Conversation

@deacon-mp
Copy link
Copy Markdown
Contributor

Summary

  • Drop ref: ${{ github.event.pull_request.head.ref }} from the checkout step in update-dist.yml. That ref doesn't resolve for cross-repo (forked) PRs and breaks the job (e.g. job 71128207893).
  • Unquote fetch-depth: 0.

With this change, actions/checkout@v5 uses the default merge ref, which is fetched for both same-repo and forked PRs.

Test plan

The previous config used `ref: ${{ github.event.pull_request.head.ref }}`
which doesn't resolve for cross-repo (forked) PRs, causing checkout to
fail. Drop the ref so checkout uses the default merge ref, which is
fetched for both same-repo and forked PRs. Also unquote fetch-depth.
@deacon-mp deacon-mp merged commit 6b96807 into master Apr 13, 2026
2 checks passed
@deacon-mp deacon-mp deleted the fix/update-dist-checkout-ref branch April 13, 2026 18:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant