chore: update files

Author: SWHL

.github/workflows/docs_build_develop.yml

@@ -11,6 +11,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
       - name: Configure Git Credentials
         run: |
           git config user.name github-actions[bot]
@@ -30,4 +32,4 @@ jobs:
           git fetch origin gh-pages --depth=1
           mike set-default main
           mike deploy --push --update-aliases main latest
-          mike alias main --push
+          mike alias main --push

overrides/main.html

@@ -10,4 +10,3 @@
     <strong>Click here to go to latest.</strong>
 </a>
 {% endblock %}
-