Fix: Use HEAD SHA instead of merge commit SHA for PR build tags#3
Merged
warengonzaga merged 2 commits intomainfrom Dec 9, 2025
Merged
Fix: Use HEAD SHA instead of merge commit SHA for PR build tags#3warengonzaga merged 2 commits intomainfrom
warengonzaga merged 2 commits intomainfrom
Commits
Commits on Dec 9, 2025
- committed
- andcommitted