diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 9bd6618..ad63625 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -250,9 +250,6 @@ jobs: cp "${RUN_DIR}/index.html" "${LATEST_DIR}/index.html" - cat > "${SITE_DIR}/.nojekyll" < docs/reports.md < docs/builds.md + - name: Build documentation site (MkDocs Material) shell: bash run: | set -euo pipefail mkdocs build --strict --site-dir .mkdocs-site rsync -a --delete --exclude '.git' --exclude '.git/' --exclude 'builds/' .mkdocs-site/ .gh-pages/ + mkdir -p .gh-pages/builds + cp .mkdocs-site/builds/index.html .gh-pages/builds/index.html + cat > .gh-pages/.nojekyll <