Update publish_v3.yml to alias "v3.0" (and later "v3.0.1") as "latest"

.github/workflows/publish_v3.yml

@@ -1,7 +1,7 @@
 on:
   push:
     branches:
-      - development/v3.0
+      - development/v3.0.1
   repository_dispatch:
     types:
       - publish_v3_spec
@@ -13,7 +13,7 @@ jobs:
     steps:
       - uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 # v3
         with:
-          ref: development/v3.0
+          ref: development/v3.0.1
           path: spdx-spec
           fetch-depth: 0 # Because we will be pushing the gh-pages branch
       - uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 # v3
@@ -39,15 +39,15 @@ jobs:
           shacl2code generate \
             --input spdx-spec/docs/model/spdx-model.ttl \
             --input spdx-spec/docs/model/jsonld-annotations.ttl \
-            --context-url spdx-spec/docs/model/spdx-context.jsonld https://spdx.org/rdf/3.0.0/spdx-context.jsonld \
+            --context-url spdx-spec/docs/model/spdx-context.jsonld https://spdx.org/rdf/3.0.1/spdx-context.jsonld \
             jsonschema \
             --output spdx-spec/docs/model/schema.json
       - name: Set git identity
         run: git config user.name ci-bot; git config user.email ci-bot@spdx.dev
         working-directory: spdx-spec
       - name: Sync gh-pages
-        run: git checkout gh-pages && git pull && git checkout development/v3.0
+        run: git checkout gh-pages && git pull && git checkout development/v3.0.1
         working-directory: spdx-spec
       - name: Build docs
-        run: mike deploy v3.0 v3-draft -b gh-pages -p
+        run: mike deploy v3.0.1 latest -b gh-pages -p
         working-directory: spdx-spec

mkdocs.yml

@@ -4,6 +4,8 @@ use_directory_urls: true
 theme: readthedocs
 plugins:
 - search
+- mike:
+    canonical_version: latest
 - pdf-export:
     combined: true
 extra_css: