Fix CI docs building (#47)

Fixes CI branch names and `deploydocs` call. Apparently, the main branch did not ever deploy its documentation until now and the dev branch didn't update anymore...
QEDjl-project · Sep 2, 2024 · 1f0e5f6 · 1f0e5f6
1 parent 63c10b7
commit 1f0e5f6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/BuildDeployDoc.yml b/.github/workflows/BuildDeployDoc.yml
@@ -3,7 +3,7 @@ name: Build and Deploy Documentation
 on:
   push:
     branches:
-      - master
+      - main
       - dev
     tags: "*"
   pull_request:

diff --git a/docs/make.jl b/docs/make.jl
@@ -24,4 +24,4 @@ makedocs(;
     pages=["Home" => "index.md"],
 )
 
-deploydocs(; repo="github.com/QEDjl-project/QEDcore.jl", devbranch="main")
+deploydocs(; repo="github.com/QEDjl-project/QEDcore.jl", push_preview=false)
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,7 +3,7 @@ name: Build and Deploy Documentation @@
     on:
       push:
         branches:
-          - master
+          - main
           - dev
         tags: "*"
       pull_request:
@@ Expand Down @@