From d2e8b8c6fcca7d55705672f850de4d3ff57ec1fe Mon Sep 17 00:00:00 2001 From: sfauvel Date: Tue, 30 Jul 2024 12:00:31 +0200 Subject: [PATCH] Add a redirection on index.html to clean url --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ad0ce282fc2..0db324d0232 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -909,6 +909,7 @@ jobs: run: | echo "mithril.network" > ./github-pages/CNAME echo '' > ./github-pages/index.html + sed -i '1s/^/\n/' ./github-pages/doc/index.html - name: Mithril / Publish GitHub Pages uses: peaceiris/actions-gh-pages@v3