Use the option push_preview=true

amontoison · amontoison · commit ccfc0d980312 · 2025-02-15T16:47:01.000-06:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -20,4 +20,4 @@ makedocs(;
     plugins=[links],
 )
 
-deploydocs(; repo="github.com/gdalle/SparseMatrixColorings.jl", devbranch="main")
+deploydocs(; repo="github.com/gdalle/SparseMatrixColorings.jl", push_preview=true, devbranch="main")

Original file line number	Diff line number	Diff line change
`@@ -20,4 +20,4 @@ makedocs(;`
`20`	`20`	`plugins=[links],`
`21`	`21`	`)`
`22`	`22`
`23`		`-deploydocs(; repo="github.com/gdalle/SparseMatrixColorings.jl", devbranch="main")`
	`23`	`+deploydocs(; repo="github.com/gdalle/SparseMatrixColorings.jl", push_preview=true, devbranch="main")`