Avoid duplicating docs for patch versions

- Instead, we now overwrite the minor version, as recommended by the authors of mike
- Clean up some unnecessary steps

.github/workflows/docs_cd.yml

@@ -25,11 +25,12 @@ jobs:
         if: startsWith(github.ref, 'refs/tags/')
         run: |
           pip install mkdocs-material mike
-          cd docs && mkdocs build && mike set-default --push main && mike deploy --push --force $VERSION
+          cd docs && mike deploy --push ${VERSION%.*}
+        # ${VERSION%.*} removes the patch version number
         env:
           VERSION: ${{ steps.get_version.outputs.VERSION }}
       - name: "on branch"
         if: ${{ startsWith(github.ref, 'refs/tags/') == false }}
         run: |
           pip install mkdocs-material mike
-          cd docs && mkdocs build && mike set-default --push main && mike deploy --push --force main
+          cd docs && mike deploy --push main