From e6cd8bcd835ad03f2f8d6240fbe093b45bf4d01f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludwig=20H=C3=BClk?= Date: Wed, 27 Nov 2024 16:22:58 +0100 Subject: [PATCH] Test mike alias #11 --- .github/workflows/gh-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 4c74d97..0c448ed 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -25,4 +25,4 @@ jobs: git config --global user.name Documentation git config --global user.email docs@example.com - run: pip install --upgrade -r requirements.txt - - run: mike deploy develop --push + - run: mike deploy develop --push —update-aliases develop