From 44eb65d6110185656c7fc0926781f337c778ccd1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stefanos=20Carlstr=C3=B6m?= <stefanos.carlstrom@gmail.com>
Date: Fri, 26 Jul 2024 12:35:03 +0200
Subject: [PATCH] Suggested edit

---
 src/LocalCoverage.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/LocalCoverage.jl b/src/LocalCoverage.jl
index 8b38022..fcf7f1d 100644
--- a/src/LocalCoverage.jl
+++ b/src/LocalCoverage.jl
@@ -287,7 +287,7 @@ used to set the path to a custom CSS file styling the coverage report.
 
 See [`generate_coverage`](@ref).
 """
-function html_coverage(coverage::PackageCoverage; gitroot = ".", open = false, dir = tempdir(), css::Union{Nothing,String}=nothing)
+function html_coverage(coverage::PackageCoverage; gitroot = ".", open = false, dir = tempdir(), css::Union{Nothing,AbstractString}=nothing)
     cd(coverage.package_dir) do
         branch = try
             LibGit2.headname(GitRepo(gitroot))