Tests.yaml

name: Tests

on: [push, workflow_dispatch]

jobs:
  Test:
    strategy:
      matrix:
        python-version: ["3.10", "3.11"]
        os: [ubuntu-latest]

    runs-on: ${{ matrix.os }}

    steps:
    - name: Checkout Repository
      uses: actions/checkout@v4

    - name: Set up Python ${{ matrix.python-version }}
      uses: actions/setup-python@v4
      with:
        python-version: ${{ matrix.python-version }}

    - name: Install test dependencies
      run: python -m pip install mypy coverage build

    - name: Build wheel
      run: python -m build

    - name: Install wheel
      run: python -m pip install --no-cache-dir dist/lambda_calculus-*.whl

    - name: Run MyPy
      run: python -m mypy -p lambda_calculus

    - name: Run tests and generate report
      run: coverage run -m unittest discover --verbose

    - name: Upload coverage
      uses: codecov/codecov-action@v3
      with:
        flags: ${{ runner.os }}
        verbose: true

    - name: Publish package
      if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags')
      uses: pypa/gh-action-pypi-publish@release/v1
      with:
        password: ${{ secrets.PYPI_API_TOKEN }}
        verbose: true
        skip_existing: true