Skip to content

Commit

Permalink
Set develop branch as "dev" branch for documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
mofeing committed Oct 25, 2023
1 parent 901e97a commit 07bbe2d
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/Documenter.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
name: Documenter
on:
push:
branches: [master]
branches: [master,develop]
tags: [v*]
pull_request:
workflow_dispatch:
Expand Down
2 changes: 1 addition & 1 deletion docs/make.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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)

0 comments on commit 07bbe2d

Please sign in to comment.