use push_preview = true in deploydocs

With this change, a new workflow named "documenter/deploy" appears in the list of checks when the docs have finished building. Clicking on "details" takes you to the docs resulting from the pull request.
JuliaSmoothOptimizers · Jul 8, 2022 · 87836c5 · 87836c5
1 parent 30f12cb
commit 87836c5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -13,4 +13,8 @@ makedocs(
   pages = ["Home" => "index.md", "Tutorial" => "tutorial.md", "Reference" => "reference.md"],
 )
 
-deploydocs(repo = "github.com/JuliaSmoothOptimizers/SolverBenchmark.jl.git", devbranch = "main")
+deploydocs(
+  repo = "github.com/JuliaSmoothOptimizers/SolverBenchmark.jl.git",
+  push_preview = true,
+  devbranch = "main",
+)