Re-enable github actions logger (#141)

JuliaPluto · Aug 10, 2024 · e7a48f2 · e7a48f2
1 parent 8e7c4e4
commit e7a48f2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/Project.toml b/Project.toml
@@ -32,7 +32,7 @@ Configurations = "0.16, 0.17"
 Distributed = "1"
 FromFile = "0.1"
 Git = "1"
-GitHubActions = "0.1"
+GitHubActions = "0.1.5"
 Glob = "1"
 HTTP = "^1.0.2"
 JSON = "0.21"

diff --git a/src/PlutoSliderServer.jl b/src/PlutoSliderServer.jl
@@ -50,9 +50,7 @@ function load_cool_logger()
         logger_loaded[] = true
         if ((global_logger() isa ConsoleLogger) && !is_inside_pluto())
             if get(ENV, "GITHUB_ACTIONS", "false") == "true"
-                # TODO: disabled because of https://github.com/JuliaWeb/HTTP.jl/issues/921
-
-                # global_logger(GitHubActionsLogger())
+                global_logger(GitHubActionsLogger())
             else
                 global_logger(try
                     TerminalLogger(; margin=1)
@@ -226,6 +224,7 @@ function run_directory(
         end
     end
 
+    @info "Versions" julia=VERSION pluto=Pluto.PLUTO_VERSION plutosliderserver=(VERSION >= v"1.9" ? pkgversion(@__MODULE__) : nothing)
     @info "Settings" Text(settings)
 
     settings.SliderServer.enabled &&