deploy pages

2026-06-22 18:21:05 +02:00
parent e5c9279b3c
commit 76944c2a49
1 changed files with 32 additions and 0 deletions
@@ -0,0 +1,32 @@
 name: Deploy mkdocs to GitHub Pages
 on:
  push:
    branches:
      - main
  pull_request:
    branches:
      - main
 jobs:
  deploy:
    runs-on: ubuntu-latest
    steps:
    - name: Checkout repository
      uses: actions/checkout@v3
    - name: Set up Python
      uses: actions/setup-python@v4
      with:
        python-version: '3.12.4'
    - name: Install dependencies
      run: |
        python -m pip install --upgrade pip
        pip install -r requirements.txt
    - name: Build mkdocs site
      run: mkdocs build --clean
    - name: Deploy to GitHub Pages
      uses: peaceiris/actions-gh-pages@v4
      with:
        github_token: ${{ secrets.GITHUB_TOKEN }}
        publish_dir: ./site