corrected mike calls fnd deployment for documentation

This commit is contained in:
Gulliver 2024-05-13 12:16:25 +02:00 committed by gittiver
parent 1b6a4f4301
commit 3d6a19037d

View File

@ -33,10 +33,7 @@ jobs:
run: | run: |
git config --global user.name Docs deploy git config --global user.name Docs deploy
git config --global user.email docs@dummy.bot.com git config --global user.email docs@dummy.bot.com
- name: run mike - name: run mike (Deploy 🚀)
run: mike deploy master run: |
- name: Deploy 🚀 git fetch origin gh-pages --depth=1
uses: JamesIves/github-pages-deploy-action@v4 mike deploy master --push
with:
folder: site # The folder the action should deploy.
target-folder: master # deploy to versioned directory