doit

lapp0 · Jul 20, 2024 · 696d0c0 · 696d0c0
1 parent 21de5ee
commit 696d0c0
Showing 1 changed file with 9 additions and 8 deletions.
diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml
@@ -28,14 +28,15 @@ jobs:
         run: |
           git config user.name ${{ github.actor }}
           git config user.email ${{ github.actor }}@users.noreply.github.com
-      - name: Build documentation
+      - name: Build latest documentation
         env:
           GOOGLE_ANALYTICS_KEY: ${{ secrets.GOOGLE_ANALYTICS_KEY }}
+        if: ${{ github.ref_type == 'tag' }}
         run: |
-          TAG=$(git describe --tags --abbrev=0 2>/dev/null || echo "main")
-          TAG_EXISTS=$(git describe --tags --exact-match 2>/dev/null && echo "true" || echo "false")
-          if [ "$TAG_EXISTS" = "true" ]; then
-            mike deploy --update-aliases --push --branch gh-pages "$TAG"
-            mike set-default stable
-          else
-            mike deploy --update-aliases --push --branch gh-pages main unstable
+          mike deploy --push --update-aliases ${{ github.ref_name }} latest
+      - name: Build unstable documentation
+        env:
+          GOOGLE_ANALYTICS_KEY: ${{ secrets.GOOGLE_ANALYTICS_KEY }}
+        if: ${{ github.ref_type == 'branch' }}
+        run: |
+          mike deploy --push --update-aliases unstable