Add push_preview=true

serenity4 · serenity4 · commit 39d16808058d · 2025-05-02T12:15:19.000-04:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -36,4 +36,5 @@ deploydocs(
     repo = "github.com/CedarEDA/DAECompiler.jl.git",
     branch = "docs",
     target = "build",
+    push_preview = true,
 )

Original file line number	Diff line number	Diff line change
`@@ -36,4 +36,5 @@ deploydocs(`
`36`	`36`	`repo = "github.com/CedarEDA/DAECompiler.jl.git",`
`37`	`37`	`branch = "docs",`
`38`	`38`	`target = "build",`
	`39`	`+ push_preview = true,`
`39`	`40`	`)`