Hide banner in CI (#1868)

Co-authored-by: Fons van der Plas <[email protected]>
fonsp · Jan 30, 2022 · 67f494c · 67f494c
1 parent c4a0f53
commit 67f494c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Pluto.jl b/src/Pluto.jl
@@ -67,7 +67,7 @@ export reset_notebook_environment
 export update_notebook_environment
 export activate_notebook_environment
 
-if get(ENV, "JULIA_PLUTO_SHOW_BANNER", "1") !== "0"
+if get(ENV, "JULIA_PLUTO_SHOW_BANNER", "1") != "0" && get(ENV, "CI", "🍄") != "true"
 @info """\n
     Welcome to Pluto $(PLUTO_VERSION_STR) 🎈
     Start a notebook server using: