Lint #2645

	name: Github Tests
	on: [push] # Can also put pull_request here, but then we dont run it when directly pushing to master
	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- name: Set up Python 3.10
	uses: actions/setup-python@v5
	with:
	python-version: '3.10'
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	if [ -f requirements.txt ]; then pip install -r requirements.txt; fi
	pip install ".[test, z3, choco, exact, pysat, pysdd, choco, minizinc]"
	pip install pytest-xdist
	pip install ./submodules/pindakaas/crates/pyndakaas
	sudo snap install minizinc --classic
	- name: Test with pytest
	run: \|
	python -m pytest -n 4 tests/

Provide feedback