Set cname for gh-pages action (#1376)

Our docs are now hosted on a custom domain: docs.juvix.org https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-add-cname-file-cname
anoma · Jul 14, 2022 · 753c5d5 · 753c5d5
1 parent cff0194
commit 753c5d5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -44,6 +44,7 @@ jobs:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: _docs
           enable_jekyll: false
+          cname: docs.juvix.org
 
   ormolu:
     runs-on: ubuntu-latest