Skip to content

Pass the PR head hash in the same-repo PR workflows - #16

Merged
epompeii merged 1 commit into
mainfrom
u/ep/pr-head-hash
Oct 17, 2026
Merged

Pass the PR head hash in the same-repo PR workflows#16
epompeii merged 1 commit into
mainfrom
u/ep/pr-head-hash

Commits

  1. Commits on Oct 17, 2026