From 753c5d5b0b05e9866945eb4433f2076a7b7c0e96 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Thu, 14 Jul 2022 17:37:28 +0100
Subject: [PATCH] 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
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index eb64a3bfc..be76476f0 100644
--- 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