add a reproducer header (#124)

Co-authored-by: Sukera <11753998+Seelengrab@users.noreply.github.com>
This commit is contained in:
Ian Butterworth
2024-10-18 16:57:09 -04:00
committed by GitHub
parent 53f7ca9224
commit ed05f1e927

View File

@@ -8,6 +8,17 @@ kwargs = Kwargs.kwargs(; coverage=ENV["COVERAGE"],
test_args=ENV["TEST_ARGS"], 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" if parse(Bool, ENV["ANNOTATE"]) && v"1.8pre" < VERSION < v"1.9.0-beta3"
push!(LOAD_PATH, "@tests-logger-env") # access dependencies push!(LOAD_PATH, "@tests-logger-env") # access dependencies
using GitHubActions, Logging using GitHubActions, Logging