Update test_harness.jl

This commit is contained in:
Ian Butterworth
2025-11-23 09:54:04 -05:00
parent 80da54fb1f
commit d60b785c6f

View File

@@ -28,8 +28,8 @@ if haskey(ENV, "GITHUB_SHA") && get(ENV, "GITHUB_EVENT_NAME", "") == "pull_reque
# First check if HEAD^2 exists (i.e., this is actually a merge commit)
if success(`git rev-parse --verify --quiet HEAD^2`)
# Compare tree hashes to check if content actually differs
merge_tree = chomp(read(`git rev-parse HEAD^{tree}`, String))
pr_tree = chomp(read(`git rev-parse HEAD^2^{tree}`, String))
merge_tree = chomp(read(`git rev-parse HEAD^\{tree\}`, String))
pr_tree = chomp(read(`git rev-parse HEAD^2^\{tree\}`, String))
has_diff = merge_tree != pr_tree
else
# Not a merge commit, so no difference to report