From 32c9a92ffc2b6d45f76993f825babdf33ec5c6b6 Mon Sep 17 00:00:00 2001
From: Arno Strouwen <arno.strouwen@telenet.be>
Date: Tue, 21 Nov 2023 22:24:08 -0500
Subject: [PATCH] strip whitespace (#18)

Co-authored-by: Viral B. Shah <ViralBShah@users.noreply.github.com>
---
 main.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.jl b/main.jl
index e301351..a519743 100644
--- a/main.jl
+++ b/main.jl
@@ -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