Repository navigation

Remove unreachable code from make_patch and the jsonpointer < 3.2 shim #127

	name: Python package

	on:
	push:
	branches: [master]
	pull_request: {}

	jobs:
	build:

	runs-on: ubuntu-latest
	strategy:
	fail-fast: false
	matrix:
	python-version: ["3.10", "3.11", "3.12", "3.13", "3.14"]

	steps:
	- uses: actions/checkout@v7
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v7
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install flake8 pytest hypothesis
	if [ -f requirements.txt ]; then pip install -r requirements.txt; fi
	pip install coveralls
	# - name: Lint with flake8
	# run: \|
	# stop the build if there are Python syntax errors or undefined names
	# flake8 . --count --select=E9,F63,F7,F82 --show-source --statistics
	# exit-zero treats all errors as warnings. The GitHub editor is 127 chars wide
	# flake8 . --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics
	- name: Test
	run: \|
	coverage run tests.py
	- name: Property-based tests
	run: \|
	coverage run --append property_tests.py
	- name: Coverage report
	run: \|
	coverage report