diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index c9ce6de..56e64c4 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -55,6 +55,7 @@ jobs:
SHA: ${{ github.sha }}
run: |
set -euo pipefail
+ SITE_ROOT="${GITHUB_WORKSPACE:-$PWD}/site"
has_ref() {
git rev-parse --verify --quiet "$1" >/dev/null
@@ -85,13 +86,14 @@ jobs:
# Build each branch in its own worktree and merge into one Pages artifact:
# - main docs at site/
# - dev docs at site/dev/
- rm -rf .worktrees site
+ rm -rf .worktrees "${SITE_ROOT}"
mkdir -p .worktrees
+ mkdir -p "${SITE_ROOT}"
git worktree add --detach .worktrees/main "${MAIN_REF}"
if ! mkdocs build --strict --verbose \
--config-file .worktrees/main/mkdocs.yml \
- --site-dir site; then
+ --site-dir "${SITE_ROOT}"; then
echo "::error::Main-Dokumentation konnte nicht gebaut werden."
exit 1
fi
@@ -100,11 +102,11 @@ jobs:
git worktree add --detach .worktrees/dev "${DEV_REF}"
if ! mkdocs build --strict --verbose \
--config-file .worktrees/dev/mkdocs.yml \
- --site-dir site/dev; then
+ --site-dir "${SITE_ROOT}/dev"; then
echo "::warning::Dev-Dokumentation konnte nicht gebaut werden. Es wird ein Platzhalter unter /dev erzeugt."
- rm -rf site/dev
- mkdir -p site/dev
- cat > site/dev/index.html <<'EOF'
+ rm -rf "${SITE_ROOT}/dev"
+ mkdir -p "${SITE_ROOT}/dev"
+ cat > "${SITE_ROOT}/dev/index.html" <<'EOF'
Dev Doku
@@ -113,8 +115,8 @@ jobs:
EOF
fi
else
- mkdir -p site/dev
- cat > site/dev/index.html <<'EOF'
+ mkdir -p "${SITE_ROOT}/dev"
+ cat > "${SITE_ROOT}/dev/index.html" <<'EOF'
Dev Doku
@@ -123,6 +125,20 @@ jobs:
EOF
fi
+ - name: Verify Pages artifact
+ run: |
+ set -euo pipefail
+ if [ ! -d site ]; then
+ echo "::error::site/ wurde nicht erzeugt."
+ ls -la
+ exit 1
+ fi
+ if [ ! -f site/index.html ]; then
+ echo "::error::site/index.html fehlt."
+ find site -maxdepth 3 -type f | head -n 50 || true
+ exit 1
+ fi
+
- name: Upload Pages artifact
uses: actions/upload-pages-artifact@v3
with: