From 58da69df5494491e3107c20d615800a426b597e5 Mon Sep 17 00:00:00 2001 From: Gulliver Date: Tue, 14 May 2024 23:16:17 +0200 Subject: [PATCH] corrected mike call and gh pages deployment --- .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 f7fc34d8a..e9e18dbef 100644 --- a/.github/workflows/doxygen-gh-pages.yml +++ b/.github/workflows/doxygen-gh-pages.yml @@ -33,11 +33,8 @@ jobs: run: | git config --global user.name Docs deploy git config --global user.email docs@dummy.bot.com - - name: run mike - run: mike deploy 1.1 + - name: run mike (Deploy 🚀) + run: | + git fetch origin gh-pages --depth=1 + mike deploy 1.1 --push - - name: Deploy 🚀 - uses: JamesIves/github-pages-deploy-action@v4 - with: - folder: site # The folder the action should deploy. - target-folder: 1.1 # deploy to versioned directory