From 3416397442098f16f98c14a90d737a89a23f9ba0 Mon Sep 17 00:00:00 2001 From: Fabio Bonelli Date: Tue, 3 May 2022 12:01:00 +0200 Subject: [PATCH] chore: add CNAME for GitHub Pages when deploying --- .github/workflows/publish.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 2ad04560..58c8e828 100644 --- a/.github/workflows/publish.yml +++ b/.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