# GitHub Actions Workflow for MkDocs Deployment # This workflow builds and deploys the documentation to GitHub Pages name: Deploy MkDocs to GitHub Pages on: # Trigger on push to main branch push: branches: - main paths: - 'docs/**' - 'mkdocs.yml' - 'requirements.txt' - '.github/workflows/deploy.yml' # Allow manual trigger workflow_dispatch: # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: contents: read pages: write id-token: write # Allow only one concurrent deployment concurrency: group: "pages" cancel-in-progress: false jobs: # Build job build: runs-on: ubuntu-latest steps: - name: Checkout repository uses: actions/checkout@v4 with: fetch-depth: 0 # Fetch all history for git-revision-date plugin - name: Set up Python uses: actions/setup-python@v5 with: python-version: '3.11' cache: 'pip' - name: Install dependencies run: | python -m pip install --upgrade pip pip install -r requirements.txt - name: Build MkDocs site run: mkdocs build --strict - name: Upload artifact uses: actions/upload-pages-artifact@v3 with: path: site # Deployment job deploy: environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-latest needs: build steps: - name: Deploy to GitHub Pages id: deployment uses: actions/deploy-pages@v4