Release docs for 4.2

Author: robzor92

.github/workflows/mkdocs-release.yml

@@ -29,5 +29,5 @@ jobs:
           git config --global user.email mike@docs.hopsworks.ai
 
       # Put this back and increment version when cutting a new release branch
-      # - name: mike deploy docs
-      #  run: mike deploy 3.0 latest -u --push
+      - name: mike deploy docs
+        run: mike deploy 4.2 latest -u --push

mkdocs.yml

@@ -244,7 +244,7 @@ nav:
           - Audit:
              - Access Audit Logs: setup_installation/admin/audit/audit-logs.md
              - Export Audit Logs: setup_installation/admin/audit/export-audit-logs.md
-  - <div class="dropdown"><button class="dropbtn"> API </button> <div id="myDropdown" class="dropdown-content"> <a id="hopsworks_api_link" href="https://docs.hopsworks.ai/hopsworks-api/dev">Hopsworks API</a> <a id="hsfs_javadoc_link" href="https://docs.hopsworks.ai/hopsworks-api/dev/javadoc">Feature Store JavaDoc</a> </div></div>: https://docs.hopsworks.ai
+  - <div class="dropdown"><button class="dropbtn"> API </button> <div id="myDropdown" class="dropdown-content"> <a id="hopsworks_api_link" href="https://docs.hopsworks.ai/hopsworks-api/4.2">Hopsworks API</a> <a id="hsfs_javadoc_link" href="https://docs.hopsworks.ai/hopsworks-api/4.2/javadoc">Feature Store JavaDoc</a> </div></div>: https://docs.hopsworks.ai
   - Community ↗: https://community.hopsworks.ai/
 
 theme:
@@ -267,7 +267,7 @@ theme:
     - navigation.indexes
 
 extra:
-  hopsworks_version: dev
+  hopsworks_version: 4.2
   version:
     provider: mike
     default: latest