docs_main.yaml

name: Deploy Docs Main

on:
  push:
    branches:
      - main

jobs:
  deploy:
    if: github.repository_owner == 'ethereum'  # don't run on forks
    runs-on: ubuntu-latest

    steps:
    - name: Checkout
      uses: actions/checkout@v4
      with:
        fetch-depth: 0
        ssh-key: ${{secrets.GH_ACTIONS_DEPLOY_KEY}}

    - name: Set up Python
      uses: actions/setup-python@v5
      with:
        python-version: '3.11'

    - name: Install dependencies
      run: |
        python -m pip install --upgrade pip
        pip install -e .[docs]

    - name: Setup doc deploy
      run: |
        git config --global user.name "github-actions[bot]"
        git config --global user.email github-actions[bot]@users.noreply.github.com

    - name: Build and deploy docs to gh-pages
      run: |
        mike deploy --update-aliases --push --remote origin main development