use push_preview = true in deploydocs (#84)

dpo · web-flow · commit 90d6f2044497 · 2022-07-08T11:42:48.000-04:00
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.
diff --git a/docs/make.jl b/docs/make.jl
@@ -13,4 +13,8 @@ makedocs(
   pages = Any["Home" => "index.md", "Tutorial" => "tutorial.md", "Reference" => "reference.md"],
 )
 
-deploydocs(repo = "github.com/JuliaSmoothOptimizers/QuadraticModels.jl.git", devbranch = "main")
+deploydocs(
+  repo = "github.com/JuliaSmoothOptimizers/QuadraticModels.jl.git",
+  push_preview = true,
+  devbranch = "main",
+)

Original file line number	Diff line number	Diff line change
`@@ -13,4 +13,8 @@ makedocs(`
`13`	`13`	`pages = Any["Home" => "index.md", "Tutorial" => "tutorial.md", "Reference" => "reference.md"],`
`14`	`14`	`)`
`15`	`15`
`16`		`-deploydocs(repo = "github.com/JuliaSmoothOptimizers/QuadraticModels.jl.git", devbranch = "main")`
	`16`	`+deploydocs(`
	`17`	`+ repo = "github.com/JuliaSmoothOptimizers/QuadraticModels.jl.git",`
	`18`	`+ push_preview = true,`
	`19`	`+ devbranch = "main",`
	`20`	`+)`