ci.yml

name: CI

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

jobs:

  PreCommit:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout sources
        uses: actions/checkout@v4
      - name: Setup Python
        uses: actions/setup-python@v4
        with:
          python-version: 3.11
      - name: Install dependencies
        run: pip install -e .
      - name: Run pre-commit
        uses: pre-commit/action@v3.0.0

  BuildServerApp:
      runs-on: ubuntu-latest
      steps:
        - name: Checkout sources
          uses: actions/checkout@v4
        - name: Setup npm
          uses: actions/setup-node@v3
          with:
            node-version: 20
        - name: Setup Python
          uses: actions/setup-python@v4
          with:
            python-version: 3.11
        - name: Install dependencies
          run: pip install -e .
        - name: Build server-app
          run: ./build server-app

  DeployDocs:
    runs-on: ubuntu-latest
    steps:
        - name: Checkout sources
          uses: actions/checkout@v4
        - name: Setup npm
          uses: actions/setup-node@v3
          with:
            node-version: 20
        - name: Setup Python
          uses: actions/setup-python@v4
          with:
            python-version: 3.11
        - name: Install dependencies
          run: pip install -e ".[docs]"
        - name: Build docs and static demo
          run: |
            cd docs
            make html
            make linkcheck
        - uses: actions/upload-artifact@v3
          with:
            name: gh-page
            path: docs/build/html
        - name: Deploy to Github Pages
          if: github.event_name == 'push'
          run: |
            cd docs/build/html
            touch .nojekyll
            git init
            cp ../../../.git/config ./.git/config
            git add .
            git config --local user.email "push@gha"
            git config --local user.name "GHA"
            git commit -am "update ${{ github.sha }}"
            git push -u origin +HEAD:gh-pages
            rm -rf .git