From 3004f0f69e8d86327a1236d7672b19aa35cfa982 Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Sun, 16 Nov 2025 11:32:42 -0500 Subject: [PATCH] fix --- test_harness.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test_harness.jl b/test_harness.jl index 1c2da18..0e0c9ba 100644 --- a/test_harness.jl +++ b/test_harness.jl @@ -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 # In GitHub Actions, HEAD^2 is the PR head (second parent of merge commit) # 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 if has_diff