From 4581734c8b1f8bde389126a68aa3cce71f1b5f64 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Elias=20H=C3=B6rner?= Date: Sun, 1 Feb 2026 16:52:19 +0100 Subject: [PATCH] =?UTF-8?q?I=C3=BCdate?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .github/workflows/build.yaml | 29 +++++++++++++++++++++++++++ .github/workflows/documentation.yaml | 30 +--------------------------- 2 files changed, 30 insertions(+), 29 deletions(-) diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 31a0f3ed..e13ff301 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -79,3 +79,32 @@ jobs: NUGET_API_KEY: ${{ secrets.NUGET_API_KEY }} run: 'dotnet nuget push ./*.nupkg --api-key ${{ secrets.NUGET_API_KEY }} --source https://api.nuget.org/v3/index.json --skip-duplicate' working-directory: './src' + + documentation: + name: 'Build and publish documentation' + runs-on: ubuntu-24.04 + permissions: + contents: read + pages: write + id-token: write + steps: + - uses: actions/checkout@v5 + - name: "Set up Python 3.12" + uses: actions/setup-python@v5 + with: + python-version: "3.12" + - name: "Install requirements" + run: "python3 -m pip install -r requirements.txt" + working-directory: "docs" + - name: "Build documentation" + run: "python3 -m mkdocs build" + working-directory: "docs" + - name: "Setup Pages" + uses: actions/configure-pages@v5 + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 + with: + path: "docs/site" + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4 diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml index eb67becd..977cc976 100644 --- a/.github/workflows/documentation.yaml +++ b/.github/workflows/documentation.yaml @@ -1,9 +1,4 @@ on: - push: - branches: - - main - paths: - - "docs/**" pull_request: branches: - main @@ -11,21 +6,10 @@ on: - "docs/**" types: [opened, synchronize, reopened] -permissions: - contents: read - pages: write - id-token: write - -concurrency: - group: "pages" - cancel-in-progress: false - jobs: documentation: - name: "Documentation" + name: "Ensure documentation builds" runs-on: ubuntu-24.04 - env: - DEPLOY_TO_GITHUB_PAGES: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }} steps: - uses: actions/checkout@v5 - name: "Set up Python 3.12" @@ -38,15 +22,3 @@ jobs: - name: "Build documentation" run: "python3 -m mkdocs build" working-directory: "docs" - - name: "Setup Pages" - uses: actions/configure-pages@v5 - if: ${{ env.DEPLOY_TO_GITHUB_PAGES == 'true' }} - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - if: ${{ env.DEPLOY_TO_GITHUB_PAGES == 'true' }} - with: - path: "docs/site" - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 - if: ${{ env.DEPLOY_TO_GITHUB_PAGES == 'true' }}