Potential fix for pull request finding

ufechner7 · Copilot · web-flow · commit a29c13e66403 · 2026-04-18T21:09:28.000+02:00
Co-authored-by: Copilot Autofix powered by AI &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/scripts/build_docu.jl b/scripts/build_docu.jl
@@ -3,4 +3,5 @@
 
 using Pkg
 Pkg.activate(joinpath(@__DIR__, "..", "docs"))
+Pkg.instantiate()
 using LiveServer; servedocs(launch_browser=true)
