Fix documentation build

.github/scripts/build-documentation.sh

@@ -0,0 +1,29 @@
+#!/bin/bash
+
+# preparing fake remote
+mkdir .build
+git config user.name ci-bot
+git config user.email ci-bot@example.org
+git remote add gh-pages ./.build
+cd ./.build
+git init
+git checkout -b gh-pages
+git config receive.denyCurrentBranch ignore
+cd -
+
+# build documentation for main branch
+poetry run mike deploy --push --remote gh-pages dev
+
+# build documentation for 8.x
+git checkout tags/8.2.2
+poetry run mike deploy --push --remote gh-pages --update-aliases 8.2.2 latest
+poetry run mike set-default --push latest
+
+# build documentation for 9.x
+git checkout 9.0 # currently a branch, will be a tag later on
+poetry run mike deploy --push --remote gh-pages 9.0-BETA
+
+# clean fake remote
+cd ./.build
+git reset --hard gh-pages
+cd -

.github/workflows/documentation.yml

@@ -45,28 +45,16 @@ jobs:
         id: pages
         uses: actions/configure-pages@v4
 
-      - name: Build documentation for 8.x
-        run: poetry run mike deploy --push --update-aliases dev
+      - name: Build documentation
+        run: ./.github/scripts/build-documentation.sh
 
-      - name: Checkout latest 8.x tag
-        run: git checkout tags/8.2.2
-
-      - name: Build documentation for 8.x
-        run: poetry run mike deploy --push --update-aliases 8.2.2 latest
-
-      - name: Checkout latest 8.x tag
-        run: git checkout 9.0 # currently a branch, will be a tag later on
-
-      - name: Build documentation for 9.x
-        run: poetry run mike deploy --push --update-aliases 9.0-BETA
-
-      - name: Flag default version
-        run: mike set-default --push latest
+      - name: Check
+        run: ls ./.build
 
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          path: ./site
+          path: ./.build
 
   deploy:
     name: Deploy to GitHub Pages

.gitignore

@@ -4,4 +4,5 @@ vendor/
 .phpunit.result.cache
 tests/cache/
 tools/phpstan/cache/
-site/
+site/
+.build/