From 12a15ae58891b3ee1b7fe906eb65820f71fc9e59 Mon Sep 17 00:00:00 2001 From: Gulliver Date: Mon, 13 May 2024 12:12:30 +0200 Subject: [PATCH] added mike calls for old versions --- .github/workflows/doxygen-gh-pages.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/doxygen-gh-pages.yml b/.github/workflows/doxygen-gh-pages.yml index 1fcb4543e..65e357e1e 100644 --- a/.github/workflows/doxygen-gh-pages.yml +++ b/.github/workflows/doxygen-gh-pages.yml @@ -35,6 +35,9 @@ jobs: git config --global user.email docs@dummy.bot.com - name: run mike run: mike deploy master + run: mike deploy 1.1 + run: mike deploy 1.0 + run: mike deploy 0.3 - name: Deploy 🚀 uses: JamesIves/github-pages-deploy-action@v4 with: