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