From 972a6c333929b0ebb784bb2e6f39a16d8c5a5e98 Mon Sep 17 00:00:00 2001 From: Lars Hellemo Date: Fri, 28 Jun 2024 14:52:57 +0200 Subject: [PATCH] Enable push_preview before deploying first time --- docs/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index 8314890..056e4ef 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -21,4 +21,4 @@ Documenter.makedocs( pages = pages, ) -Documenter.deploydocs(; repo = "github.com/sintefore/SparseVariables.jl.git") +Documenter.deploydocs(; repo = "github.com/sintefore/SparseVariables.jl.git", push_preview = true)