From 1f0e5f6bb2a33a098974357158fece1ba8eb8720 Mon Sep 17 00:00:00 2001
From: Anton Reinhard <anton.reinhard@proton.me>
Date: Mon, 2 Sep 2024 20:01:46 +0200
Subject: [PATCH] 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...
---
 .github/workflows/BuildDeployDoc.yml | 2 +-
 docs/make.jl                         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/BuildDeployDoc.yml b/.github/workflows/BuildDeployDoc.yml
index ca77b58..882a6b7 100644
--- 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
index 979a5b0..91cc8b4 100644
--- 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)