From 07fb6b70e7491baa4cee1e68d48af0735447b044 Mon Sep 17 00:00:00 2001 From: Alexandre Bergel Date: Thu, 20 Jun 2024 14:44:49 +0200 Subject: [PATCH] another commit --- src/interface.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/interface.jl b/src/interface.jl index cd8af00..fb71453 100644 --- a/src/interface.jl +++ b/src/interface.jl @@ -189,6 +189,7 @@ function filter_and_print_hint(hint_as_string::String, io::IO=stdout, filters::V end + function _run_lint_on_dir( rootpath::String; server = global_server,