ci.yaml

name: CI

on:
  push:
    branches: [ "main" ]
  pull_request:
    branches: [ "main" ]
  workflow_dispatch:

concurrency:
  # Run everything on main, most-recent on PR builds
  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
  cancel-in-progress: true

jobs:
  ci:
    runs-on: ubuntu-latest
    timeout-minutes: 20
    steps:
      - uses: actions/checkout@v4
      - name: Set up Python
        uses: actions/setup-python@v4  
        with:
          python-version: '3.10'
      - name: Install dev-requirements
        run: |
          sudo apt install pandoc
          python -m pip install --upgrade pip
          pip install -r requirements-dev.txt --no-cache-dir
        shell: bash
      - name: Run CI
        run: ./dev ci
        shell: bash
      - name: Publish docs
        if: ${{github.ref == 'refs/heads/main'}}
        uses: Cecilapp/GitHub-Pages-deploy@3.2.1
        env: { GITHUB_TOKEN: "${{ github.token }}" }
        with:
          build_dir: docs/build/html/