Setup workflows for publication of documentation

paul-dingemans · Apr 25, 2023 · 9e3271e · 9e3271e
1 parent 130da7f
commit 9e3271e
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 13 deletions.
diff --git a/.github/workflows/release-docs.yml b/.github/workflows/release-docs.yml
@@ -15,19 +15,20 @@ jobs:
         with:
           python-version: 3.x
 
-      - name: Get version
-        id: get_version
-        if: ${{ success() }}
-        run: |
-          echo "version=${GITHUB_REF/refs\/tags\//}"
-          echo "version=${GITHUB_REF/refs\/tags\//}" >> $GITHUB_ENV
+      - name: Install mkdocs and mike
+        run: pip install mkdocs-material mike
 
-      - run: |
-          pip install mkdocs-material mike
-          cd documentation/release-latest
+      - name: Config git
+        run: |
           git config user.email "ktlint@github.com"
           git config user.name "Ktlint Release Workflow"
-          LATEST_TAG=$(git describe --abbrev=0 --tags)
-          echo "Release docs to version ${LATEST_TAG}"
+
+      - name: Get last released version
+        run: echo "version=$(git describe --abbrev=0 --tags)" >> $GITHUB_ENV
+
+      - name: Deploy release docs
+        run: |
+          cd documentation/release-latest
           # Publish docs and update the "release" alias if needed
-          mike deploy --push --update-aliases ${LATEST_TAG} release
+          echo "Release docs to version ${env.version}"
+          mike deploy --push --update-aliases ${env.version} release
diff --git a/documentation/release-latest/mkdocs.yml b/documentation/release-latest/mkdocs.yml
@@ -1,4 +1,4 @@
-site_name: Ktlint (0.49.5)
+site_name: Ktlint (0.40.6)
 site_url: https://pinterest.github.io/ktlint/
 
 extra: