tenstorrent / tenstorrent.github.io

0 stars 2 forks source link

Custom domain gets reset upon a deployment. #7

Closed dimitri-tenstorrent closed 2 months ago

dimitri-tenstorrent commented 2 months ago

This is either a problem with Github pages or with the Github action we use - https://github.com/peaceiris/actions-gh-pages

dimitri-tenstorrent commented 2 months ago

Identified the issue:

https://docs.github.com/en/pages/configuring-a-custom-domain-for-your-github-pages-site/managing-a-custom-domain-for-your-github-pages-site Item 4.

Under "Custom domain", type your custom domain, then click Save. If you are publishing your site from a branch, this will create a commit that adds a CNAME file directly to the root of your source branch. If you are publishing your site with a custom GitHub Actions workflow, no CNAME file is created, so you need to create one manually (containing only a line of text with your custom domain). For more information about your publishing source, see "[Configuring a publishing source for your GitHub Pages site](https://docs.github.com/en/pages/getting-started-with-github-pages/configuring-a-publishing-source-for-your-github-pages-site)."