From d2e8b8c6fcca7d55705672f850de4d3ff57ec1fe Mon Sep 17 00:00:00 2001 From: sfauvel Date: Tue, 30 Jul 2024 12:00:31 +0200 Subject: [PATCH 1/2] 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 From cd369d0fc3ccff38549b897968ce542321e7d207 Mon Sep 17 00:00:00 2001 From: sfauvel Date: Wed, 31 Jul 2024 12:05:05 +0200 Subject: [PATCH 2/2] Add a comment to explain why we add a script --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0db324d0232..a6893b093ee 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 + # Remove the index.html from the url to avoid a display issue that duplicates the content of the page sed -i '1s/^/\n/' ./github-pages/doc/index.html - name: Mithril / Publish GitHub Pages