Skip to content

Commit cd369d0

Browse files
committed
Add a comment to explain why we add a script
1 parent d2e8b8c commit cd369d0

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/ci.yml

+1
Original file line numberDiff line numberDiff line change
@@ -909,6 +909,7 @@ jobs:
909909
run: |
910910
echo "mithril.network" > ./github-pages/CNAME
911911
echo '<!DOCTYPE html><html><head><meta http-equiv="Refresh" content="0; URL=https://mithril.network/doc"></head></html>' > ./github-pages/index.html
912+
# Remove the index.html from the url to avoid a display issue that duplicates the content of the page
912913
sed -i '1s/^/<script type="text/javascript"> if (window.location.href.endsWith("/index.html")) { end_of_clean_url = window.location.href.lastIndexOf("/"); window.location.href = window.location.href.substring(0, end_of_clean_url); } </script>\n/' ./github-pages/doc/index.html
913914
914915
- name: Mithril / Publish GitHub Pages

0 commit comments

Comments
 (0)