From 987be113741263c1ae6af4a2ba0e2bfd35b07d63 Mon Sep 17 00:00:00 2001 From: Humberto Medina Date: Thu, 29 Aug 2024 12:40:21 +0100 Subject: [PATCH] add devbranch keyword to check if this triggers proper build step --- docs/make.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/make.jl b/docs/make.jl index caeab134..a23fa200 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -33,4 +33,5 @@ makedocs( # for more information. deploydocs( repo = "github.com/mberto79/XCALibre.jl.git", + devbranch = "dev-0.3-main" )