Skip to content

Condition Logic Checker #1721

Condition Logic Checker

Condition Logic Checker #1721

Workflow file for this run

name: PythonTA Tests
on:
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
push:
branches:
- master
jobs:
test:
runs-on: ubuntu-latest
strategy:
matrix:
python-version: ["3.9", "3.10", "3.11", "3.12", "3.13"]
steps:
- uses: actions/[email protected]
- name: Set up Python ${{ matrix.python-version }}
uses: actions/[email protected]
with:
python-version: ${{ matrix.python-version }}
- name: Set up Node.js 18
uses: actions/setup-node@v4
with:
node-version: 18
- name: Set up graphviz
run: |
sudo apt-get install -y graphviz
- name: Cache pip
uses: actions/[email protected]
with:
path: ~/.cache/pip
key: ${{ runner.os }}-pip-${{ hashFiles('setup.py') }}
restore-keys: |
${{ runner.os }}-pip-
${{ runner.os }}-
- name: Install dependencies
run: |
python -m pip install --upgrade pip setuptools wheel
pip install -e .[dev,cfg,z3]
- name: Run tests
run: |
pytest -vv --cov python_ta --cov-config=.coveragerc --cov-report lcov --ignore=tests/test_type_constraints --ignore=tests/test_type_inference tests --ignore=tests/test_debug/test_accumulation_table.py --ignore=tests/test_debug/test_recursion_table.py --ignore=tests/test_debug/test_snapshot_tracer.py
pytest -vv tests/test_debug/test_accumulation_table.py tests/test_debug/test_recursion_table.py tests/test_debug/test_snapshot_tracer.py
- name: Upload test coverage to coveralls.io
uses: coverallsapp/[email protected]
env:
github-token: ${{ secrets.GITHUB_TOKEN }}
with:
flag-name: run-${{ matrix.python-version }}
parallel: true
finish:
needs: test
if: github.event.pull_request.draft == false
runs-on: ubuntu-latest
steps:
- name: Coveralls Finished
uses: coverallsapp/[email protected]
env:
github-token: ${{ secrets.GITHUB_TOKEN }}
with:
parallel-finished: true
carryforward: "run-3.9,run-3.10,run-3.11,run-3.12,run-3.13"
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
- name: Set up Python 3.11
uses: actions/[email protected]
with:
python-version: 3.11
- name: Cache pip
uses: actions/[email protected]
with:
path: ~/.cache/pip
key: ${{ runner.os }}-pip-${{ hashFiles('setup.py') }}
restore-keys: |
${{ runner.os }}-pip-
${{ runner.os }}-
- name: Install dependencies
run: |
python -m pip install --upgrade pip setuptools wheel
pip install -e .[dev,cfg,z3]
- name: Generate docs
run: sphinx-build -b html -W docs docs/_build