Ammendment to the last commit: Try to fix documentation on GitHub pages

mirkobunse · Dec 12, 2022 · 498afe9 · 498afe9
1 parent 60d9f68
commit 498afe9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -14,4 +14,5 @@ makedocs(;
 
 deploydocs(
     repo = "github.com/mirkobunse/CriticalDifferenceDiagrams.jl.git",
+    devbranch = "main"
 )