strip whitespace (#18)

Co-authored-by: Viral B. Shah <ViralBShah@users.noreply.github.com>
This commit is contained in:
Arno Strouwen
2023-11-21 22:24:08 -05:00
committed by GitHub
parent de15ca79be
commit 32c9a92ffc

View File

@@ -7,7 +7,7 @@ Pkg.add(PackageSpec(name="CoverageTools"))
using CoverageTools
directories = get(ENV, "INPUT_DIRECTORIES", "src,ext")
dirs = filter!(!isempty, split(directories, ","))
dirs = filter!(!isempty, strip.(split(directories, ",")))
for dir in dirs
if dir == "ext"
continue # Silently skip this directory