ci.yaml

name: CI

on:
  push: { branches: [ "main" ] }
  pull_request:
  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
    container: graphcore/pytorch:3.3.0-ubuntu-20.04-20230703
    timeout-minutes: 15
    steps:
    - uses: actions/checkout@v3
    - name: Install dev-requirements
      run: |
        apt-get update
        apt-get install -y git
        source /opt/setup-bash-env.sh
        pip install -r requirements-dev.txt --no-cache-dir
      shell: bash
    - name: Run CI
      run: |
        source /opt/setup-bash-env.sh
        ./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/