Fix Jenkins GIT_REF for pull_request Actions - #131

Merged

mattcasters merged 2 commits into

mainfrom

fix/jenkins-git-ref-pr-head

Aug 22, 2026

Commits on Aug 22, 2026

Pass PR head SHA to Jenkins instead of the pull_request merge commit.
mattcasters
committed
8956d4f
Trigger build
mattcasters
committed
1bc9f9c