From 80da54fb1fdb71a87fc9a0e8c3bdd5411441d1dc Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Sun, 23 Nov 2025 09:32:32 -0500 Subject: [PATCH] Update test_harness.jl Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> --- test_harness.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test_harness.jl b/test_harness.jl index cda090c..a629efa 100644 --- a/test_harness.jl +++ b/test_harness.jl @@ -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:`, String)) - pr_tree = chomp(read(`git rev-parse HEAD^2:`, 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