ci_extra.yml

# This workflow is for any branch. It runs additional tests for several python versions.

name: Build extra

on: [push, pull_request]

jobs:
  build:

    runs-on: ubuntu-latest
    strategy:
      fail-fast: false
      matrix:
        python-version: ["3.9", "3.10"]

    steps:

    - uses: actions/checkout@v3
    - name: Set up Python ${{ matrix.python-version }}
      uses: actions/setup-python@v3
      with:
        python-version: ${{ matrix.python-version }}
    - name: Install dependencies
      run: |
        python -m pip install --upgrade pip
        pip install -r requirements.txt

    - name: Lint with pylint
      run: |
        pylint pyformlang || true
    - name: Lint with pycodestyle
      run: |
        pycodestyle pyformlang || true
    - name: Lint with ruff
      run: |
        ruff check pyformlang || true

    - name: Check with pyright
      run: |
        pyright --stats pyformlang
    - name: Test with pytest
      run: |
        pytest --showlocals -v pyformlang