remove spurious github-specific log

JuliaLang · Feb 15, 2021 · 84091c7 · 84091c7
1 parent 437eadc
commit 84091c7
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/doc/make.jl b/doc/make.jl
@@ -319,9 +319,6 @@ function Documenter.post_status(::BuildBotConfig; type, repo::String, subfolder=
         @info "Documentation build in progress"
     elseif type == "success"
         @info "Documentation build succeeded"
-        if subfolder !== nothing
-            @info "Subfolder: https://$(owner).github.io/$(repo)/$(subfolder)/"
-        end
     elseif type == "error"
         error("Documentation build errored")
     elseif type == "failure"