linting.yml

name: Linting

on:
  push:
    branches:
      - main
  pull_request:

# We do type checking and linting only on one python version to
# reduce time, since it is unlikely that linting will be version
# specific.
jobs:
  mypy:
    runs-on: ubuntu-latest
    steps:
      - name: DF-1
        run: df -h
      - name: du-runner-initial
        run: du -kx /home/runner | sort -rn | head -20
      - name: Move cache to /mnt
        run: sudo mkdir /mnt/cache && sudo chown $(whoami) /mnt/cache && mkdir -p /home/runner/.cache && sudo mount -o bind /mnt/cache /home/runner/.cache
      # Could free up other stuff as in:
      # https://github.com/easimon/maximize-build-space/blob/master/action.yml
      - name: Free up disk space
        run: sudo rm -rf /usr/local/lib/android
      - name: Checkout
        uses: actions/checkout@v4
      - name: DF-2
        run: df -h
      - name: Install poetry
        run: pipx install poetry
      - uses: actions/setup-python@v4
        with:
          python-version: '3.9'
          cache: 'poetry'
      - name: DF-3
        run: df -h
      - name: Install sycamore
        run: poetry install --all-extras --no-root
      - name: DF-4
        run: df -h
      - name: Run mypy
        run: |
          mkdir .mypy_cache/
          poetry run mypy --install-types --non-interactive .

  lint:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4
      - name: Install poetry
        run: pipx install poetry
      - uses: actions/setup-python@v4
        with:
          python-version: '3.9'
          cache: 'poetry'
      - name: Install sycamore
        run: poetry install --all-extras --no-root
      - name: Lint with ruff
        run: poetry run ruff check .
      - name: Lint with black
        run: poetry run black --check .