From ed05f1e9277444a567a1653eb14f1823d8e1302c Mon Sep 17 00:00:00 2001
From: Ian Butterworth <i.r.butterworth@gmail.com>
Date: Fri, 18 Oct 2024 16:57:09 -0400
Subject: [PATCH] add a reproducer header (#124)

Co-authored-by: Sukera <11753998+Seelengrab@users.noreply.github.com>
---
 test_harness.jl | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/test_harness.jl b/test_harness.jl
index 43e9c14..c9191e1 100644
--- a/test_harness.jl
+++ b/test_harness.jl
@@ -8,6 +8,17 @@ kwargs = Kwargs.kwargs(; coverage=ENV["COVERAGE"],
                          test_args=ENV["TEST_ARGS"],
                          )
 
+kwargs_reprs = map(kv -> string(kv[1], "=", repr(kv[2])), collect(kwargs))
+kwargs_repr = join(kwargs_reprs, ", ")
+
+print("""
+│
+│ To reproduce this CI run locally run the following from the same repository state on julia version $VERSION:
+│
+│ `import Pkg; Pkg.test(;$kwargs_repr)`
+│
+""")
+
 if parse(Bool, ENV["ANNOTATE"]) && v"1.8pre" < VERSION < v"1.9.0-beta3"
     push!(LOAD_PATH, "@tests-logger-env") # access dependencies
     using GitHubActions, Logging