try yet another fix for docs

mastrof · Dec 28, 2023 · 41187b5 · 41187b5
1 parent 21b7768
commit 41187b5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,8 +1,9 @@
 cd(@__DIR__)
+ENV["JULIA_PKG_SERVER"] = ""
+ENV["JULIA_DEBUG"] = "Documenter"
 import Pkg; Pkg.add(name="Agents", rev="main")
 using MicrobeAgents
 using Documenter
-ENV["JULIA_DEBUG"] = "Documenter"
 CI = get(ENV, "CI", nothing) == "true" || get(ENV, "GITHUB_TOKEN", nothing) !== nothing
 import Literate
 using Plots