typing.yml

name: typing

on: [push, pull_request]

jobs:
  run-type-checkers:
    name: Run type checkers
    runs-on: ubuntu-latest
    strategy:
      matrix:
        python-version: ["3.8", "3.9", "3.10", "3.11", "3.12"]
    env:
      BACKEND_DIR: "${{ github.workspace }}/.local"
      BACKEND_VERSION: "2.28.6"
    steps:
      - uses: actions/checkout@v4

      - name: Build backend
        run: |
          ./scripts/download-mbedtls.sh $BACKEND_VERSION $BACKEND_DIR/src
          ./scripts/install-mbedtls.sh $BACKEND_DIR/src $BACKEND_DIR

      - uses: actions/setup-python@v5
        with:
          python-version: ${{ matrix.python-version }}
          cache: pip
          cache-dependency-path: |
            requirements.txt
            requirements/tests.txt
            requirements/typing.txt

      - name: Install deps
        run: >
          python -m pip install
          -r requirements.txt
          -r requirements/tests.txt
          -r requirements/typing.txt

      - name: Build and install
        env:
          C_INCLUDE_PATH: "${{ env.BACKEND_DIR }}/include"
          LIBRARY_PATH: "${{ env.BACKEND_DIR }}/lib"
        run: python setup.py build_ext --inplace

      - name: Check typing
        run: mypy programs src tests