Merge pull request #155 from bfabio/cname_github_pages

chore: add CNAME for GitHub Pages when deploying

Author: bfabio

.github/workflows/publish.yml

@@ -16,6 +16,7 @@ jobs:
 
       - run: pip install -r requirements.txt
       - run: sphinx-build docs/standard build -c .
+      - run: echo yml.publiccode.tools > build/CNAME
 
       - name: Publish on GitHub Pages
         uses: peaceiris/actions-gh-pages@v3