push preview

ocots · ocots · commit ea20f16f0f0a · 2025-09-29T13:44:51.000+02:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -67,4 +67,4 @@ makedocs(;
     plugins=[links],
 )
 
-deploydocs(; repo=repo_url * ".git", devbranch="main")
+deploydocs(; repo=repo_url * ".git", devbranch="main", push_preview=true)

Original file line number	Diff line number	Diff line change
`@@ -67,4 +67,4 @@ makedocs(;`
`67`	`67`	`plugins=[links],`
`68`	`68`	`)`
`69`	`69`
`70`		`-deploydocs(; repo=repo_url * ".git", devbranch="main")`
	`70`	`+deploydocs(; repo=repo_url * ".git", devbranch="main", push_preview=true)`