This commit is contained in:
Ian Butterworth
2025-11-16 21:05:46 -05:00
parent 639d29024e
commit 8b0e8344b9

View File

@@ -26,8 +26,8 @@ if haskey(ENV, "GITHUB_SHA") && get(ENV, "GITHUB_EVENT_NAME", "") == "pull_reque
# Check if there's any difference between the merge commit and the PR head # Check if there's any difference between the merge commit and the PR head
# In GitHub Actions, HEAD^2 is the PR head (second parent of merge commit) # In GitHub Actions, HEAD^2 is the PR head (second parent of merge commit)
# Compare tree hashes to check if content actually differs # Compare tree hashes to check if content actually differs
merge_tree = chomp(read(`git rev-parse "HEAD^{tree}"`, String)) merge_tree = chomp(read(`git rev-parse HEAD:`, String))
pr_tree = chomp(read(`git rev-parse "HEAD^2^{tree}"`, String)) pr_tree = chomp(read(`git rev-parse HEAD^2:`, String))
has_diff = merge_tree != pr_tree has_diff = merge_tree != pr_tree
if has_diff if has_diff