Nicholai/jan
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #16 from janhq/fix/github-page-customdomain

Browse Source 
Update custom domain for github page pipeline
This commit is contained in:
hiento09 2023-08-30 12:33:56 +07:00 committed by GitHub
commit 914e7663dd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/deploy.yml vendored
View File

@ -4,6 +4,7 @@ on:
push: push:
branches: branches:
- main - main
- fix/github-page-customdomain
# Review gh actions docs if you want to further define triggers, paths, etc # Review gh actions docs if you want to further define triggers, paths, etc
# https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#on # https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#on
@ -26,6 +27,9 @@ jobs:
run: yarn build run: yarn build
working-directory: docs working-directory: docs
- name: Add Custome Domain file
run: echo "docs.jan.ai" > ./docs/build/CNAME
# Popular action to deploy to GitHub Pages: # Popular action to deploy to GitHub Pages:
# Docs: https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-docusaurus # Docs: https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-docusaurus
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages