Set develop branch as "dev" branch for documentation

bsc-quantic · Oct 25, 2023 · 07bbe2d · 07bbe2d
1 parent 901e97a
commit 07bbe2d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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)