add a reproducer header (#124)

Co-authored-by: Sukera <[email protected]>
julia-actions · Oct 18, 2024 · ed05f1e · ed05f1e
1 parent 53f7ca9
commit ed05f1e
Showing 1 changed file with 11 additions and 0 deletions.
diff --git 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