anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-01 00:04:58 +03:00
Code Issues Projects Releases Wiki Activity

Set cname for gh-pages action (#1376)

Browse Source 
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
This commit is contained in:
Paul Cadman 2022-07-14 17:37:28 +01:00 committed by GitHub
parent cff01943f4
commit 753c5d5b0b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/ci.yml vendored
View File

@ -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