fix(crafter): use actual PR head commit instead of merge commit in GitHub Actions#3066

migmartri merged 1 commit into

chainloop-dev:mainchainloop-dev/chainloop:mainfrom

waveywaves:fix/github-pr-merge-commit-shawaveywaves/chainloop:fix/github-pr-merge-commit-shaCopy head branch name to clipboard