From 2645ccd27d0570538f6e5fd1cd2776fa48a067d5 Mon Sep 17 00:00:00 2001 From: Gulliver Date: Mon, 13 May 2024 12:16:25 +0200 Subject: [PATCH] corrected mike calls fnd deployment for documentation --- .github/workflows/doxygen-gh-pages.yml | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/.github/workflows/doxygen-gh-pages.yml b/.github/workflows/doxygen-gh-pages.yml index 1fcb4543e..e6bfe4006 100644 --- a/.github/workflows/doxygen-gh-pages.yml +++ b/.github/workflows/doxygen-gh-pages.yml @@ -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