Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
workflow: push CNAME to resulting site
Due to how our github-pages-deploy-action container works, without adding the CNAME from the main branch, it will be deleted. This will keep it there. Note that this should be reverted and CNAME removed, should the site remain on the default github.io domain.
- Loading branch information