diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 31001897..69db8142 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -72,6 +72,7 @@ jobs: pushfirst!(Base.active_repl_backend.ast_transforms, Revise.revise_first) include(joinpath("test", "runtests.jl")) if Base.VERSION.major == 1 && Base.VERSION.minor >= 9 + REPL.transition(Base.active_repl.mistate, :abort) REPL.eval_user_input(:(exit()), Base.active_repl_backend, Main) else REPL.eval_user_input(:(exit()), Base.active_repl_backend)