From 4697c9644863c4f628667d4721fad8987601d6d4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sergio=20S=C3=A1nchez=20Ram=C3=ADrez?=
 <sergio.sanchez.ramirez+git@bsc.es>
Date: Wed, 25 Oct 2023 10:34:48 +0200
Subject: [PATCH] Set `develop` branch as "dev" branch for documentation

---
 .github/workflows/Documenter.yml | 2 +-
 docs/make.jl                     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml
index ac3bd371..39e56907 100644
--- a/.github/workflows/Documenter.yml
+++ b/.github/workflows/Documenter.yml
@@ -1,7 +1,7 @@
 name: Documenter
 on:
   push:
-    branches: [master]
+    branches: [master,develop]
     tags: [v*]
   pull_request:
   workflow_dispatch:
diff --git a/docs/make.jl b/docs/make.jl
index 9675edba..b8dff0c7 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -47,4 +47,4 @@ makedocs(
     warnonly = true,
 )
 
-deploydocs(repo = "github.com/bsc-quantic/Tenet.jl.git", devbranch = "master", push_preview = true)
+deploydocs(repo = "github.com/bsc-quantic/Tenet.jl.git", devbranch = "develop", push_preview = true)