docs.yml

name: documentation

on:
  push:
    branches: [ master ]

jobs:
  docs:
    runs-on: ubuntu-latest
    steps:
    - name: Checkout Main Repository
      uses: actions/checkout@v5
      with:
        fetch-depth: '2'
    - name: Set up Python
      uses: actions/setup-python@v6
      with:
        python-version: '3.13'
    - name: Install Dependencies
      run: |
        python -m pip install --upgrade pip
        pip install .[all]
        pip install pdoc3
    - name: Generate documentation
      run: |
        pdoc3 --html --force --template-dir pdoc3-template refinery
    - name: Upload documentation
      env:
        auth: ${{ secrets.GH_PAGES_TOKEN  }}
      working-directory: ./html/refinery
      shell: bash
      run: |
        git init
        git config user.email "huettenhain@users.noreply.github.com"
        git config user.name jesko
        git remote add origin https://huettenhain:$auth@github.com/binref/binref.github.io
        git add --all
        git commit -m refinery/${{github.sha}}
        git push origin master --force