orca/.github
Jinjing 00fdb8e8cc
ci: check out PR head instead of merge ref in e2e workflow (#940)
The e2e reusable workflow defaulted to github.ref, which on
pull_request events is refs/pull/N/merge. GitHub does not compute
that ref when the PR has conflicts or before the merge commit is
ready, causing actions/checkout to fail with "couldn't find remote
ref refs/pull/N/merge" for reasons unrelated to the code.

Pass github.event.pull_request.head.sha from pr.yml so e2e checks
out the PR head directly.

Motivating failure: https://github.com/stablyai/orca/actions/runs/24768962365
Seen on #937.
2026-04-22 09:59:27 -07:00
..
ISSUE_TEMPLATE Simplify remaining Orca issue forms 2026-04-14 23:29:55 -07:00
workflows ci: check out PR head instead of merge ref in e2e workflow (#940) 2026-04-22 09:59:27 -07:00
pull_request_template.md docs: add contribution guide and PR template (#163) 2026-03-28 10:44:02 -07:00