Merge branch 'main' into develop

janosbabik · Jul 1, 2024 · a539f03 · a539f03
2 parents 8b3e7c4 + 2caaee2
commit a539f03
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 7 deletions.
diff --git a/.github/workflows/deploy-docs-dev.yml b/.github/workflows/deploy-docs-dev.yml
@@ -31,6 +31,6 @@ jobs:
       - name: Build and Deploy
         working-directory: ./documentation
         run: |
-          git pull
-          mike deploy develop --update-alias --push
+          get fetch origin
+          mike deploy --update-alias --push develop
 
diff --git a/.github/workflows/deploy-docs-latest.yml b/.github/workflows/deploy-docs-latest.yml
@@ -31,6 +31,6 @@ jobs:
       - name: Build and Deploy
         working-directory: ./documentation
         run: |
-          git pull
-          mike deploy 1.0 latest --update-alias --push
+          git fetch origin
+          mike deploy --update-alias --push 1.0 latest
           mike set-default latest
diff --git a/documentation/docs/index.md b/documentation/docs/index.md
@@ -1,3 +1 @@
-# Welcome to MkDocs.
-
-. dev2
+.dev 2