use push_preview = true in deploydocs (#85)

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 7, 2022 · 0ae3729 · 0ae3729
1 parent e616b3f
commit 0ae3729
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -19,4 +19,5 @@ deploydocs(
   repo = "github.com/JuliaSmoothOptimizers/NLPModelsIpopt.jl.git",
   target = "build",
   devbranch = "main",
+  push_preview = true,
 )