build: document publish scripts

.github/workflows/docs.yaml

@@ -13,7 +13,10 @@ jobs:
   deploy:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
       - name: Configure Git Credentials
         run: |
           git config user.name github-actions[bot]
@@ -21,15 +24,15 @@ jobs:
       - uses: actions/setup-python@v5
         with:
           python-version: 3.x
-      - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
-      - uses: actions/cache@v4
-        with:
-          key: mkdocs-material-${{ env.cache_id }}
-          path: .cache
-          restore-keys: |
-            mkdocs-material-
+#      - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
+#      - uses: actions/cache@v4
+#        with:
+#          key: mkdocs-material-${{ env.cache_id }}
+#          path: .cache
+#          restore-keys: |
+#            mkdocs-material-
       - name: Install dependencies
         run: |
           pip install mkdocs-material
           pip install mike
-      - run: mike deploy --push --update-aliases ${{ github.event.inputs.version }} latest
+      - run: mike deploy --branch gh-pages --push --update-aliases ${{ github.event.inputs.version }} latest