From d60b785c6f2bdf4ebfb18b2b6f7d93b7dfb0efe3 Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Sun, 23 Nov 2025 09:54:04 -0500 Subject: [PATCH] Update test_harness.jl --- test_harness.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test_harness.jl b/test_harness.jl index a629efa..b79dd8a 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^{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