Fixes mike deploy

stumpylog · Jun 13, 2024 · b1d279b · b1d279b
1 parent 83cb323
commit b1d279b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -178,6 +178,11 @@ jobs:
         run: |
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
+      -
+        name: Fetch gh-pages
+        if: startsWith(github.ref, 'refs/tags/')
+        run: |
+          git fetch origin gh-pages --depth=1
       -
         name: Deploy documentation
         if: startsWith(github.ref, 'refs/tags/')