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

mirkobunse · Dec 12, 2022 · 60d9f68 · 60d9f68
1 parent 0c502bc
commit 60d9f68
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -74,4 +74,5 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+          GITHUB_REF: main
         run: julia --project=docs/ docs/make.jl