[INTERNAL] Docs: Prevent updating 'next' alias / 404.html

Mike deployment with `--update-aliases` was updating the 'next' alias,
overwriting the state that had been deployed from the `main` branch.

In addition, an updated version of the 404.html will be deployed from
the `main` branch.

This change also updates the order of operations in the GitHub workflow
to reduce the number of commits and additions/deletions in the `gh-pages`
branch.

Fixes: #1245

Author: matz3

.github/workflows/deploy-docs.yml

@@ -20,10 +20,10 @@ jobs:
 
     steps:
     - name: Checkout
-      uses: actions/checkout@v4
+      uses: actions/checkout@v6
 
     - name: Use Node.js LTS 20.x
-      uses: actions/setup-node@v5.0.0
+      uses: actions/setup-node@v6
       with:
         node-version: 20.x
 
@@ -41,16 +41,13 @@ jobs:
     - name: Build docs with Mike
       run: ./scripts/buildDocs.sh
 
-    - name: Publish docs
-      run: docker run --rm -v $(pwd):/docs --entrypoint mike --env GIT_COMMITTER_NAME="${GIT_COMMITTER_NAME}" --env GIT_COMMITTER_EMAIL="${GIT_COMMITTER_EMAIL}" $DOCKER_IMAGE set-default stable --push
-
     - name: Build Schema
       run: |
         npm run schema-generate
         npm run schema-workspace-generate
 
     - name: Checkout gh-pages
-      uses: actions/checkout@v4
+      uses: actions/checkout@v6
       with:
         ref: gh-pages
         path: gh-pages
@@ -60,12 +57,13 @@ jobs:
         cp -R ./site/schema ./gh-pages/
         rm -rf ./gh-pages/$MIKE_VERSION/api
         cp -R ./site/api ./gh-pages/$MIKE_VERSION/
-        cp ./scripts/resources/custom404.html ./gh-pages/404.html
     - name: Publish Docs
       run: |
         cd ./gh-pages
         git config --local user.email $GIT_COMMITTER_EMAIL
         git config --local user.name $GIT_COMMITTER_NAME
         git add .
-        git commit -m "Updating supplemental resources for ${MIKE_VERSION} documentation deployment"
-        git push
+        git commit --amend --no-edit
+
+    - name: Set default version to stable & push
+      run: docker run --rm -v $(pwd):/docs --entrypoint mike --env GIT_COMMITTER_NAME="${GIT_COMMITTER_NAME}" --env GIT_COMMITTER_EMAIL="${GIT_COMMITTER_EMAIL}" $DOCKER_IMAGE set-default stable --push

scripts/buildDocs.sh

@@ -17,7 +17,7 @@ if [[ $MIKE_VERSION ]]; then # Build with Mike (versioning)
 	echo "Starting building & versioning Docs with Mike version: ${MIKE_VERSION}; alias: ${MIKE_ALIAS}..."
 	docker run --rm -v $(pwd):/docs --entrypoint mike \
 		--env GIT_COMMITTER_NAME="${GIT_COMMITTER_NAME}" --env GIT_COMMITTER_EMAIL="${GIT_COMMITTER_EMAIL}"  \
-		$DOCKER_IMAGE deploy $MIKE_VERSION $MIKE_ALIAS --rebase --update-aliases
+		$DOCKER_IMAGE deploy $MIKE_VERSION $MIKE_ALIAS --rebase
 
 else # Build with MkDocs
 	echo "Starting building Docs with MkDocs..."