Guessed formalization without highlighted part (plain description tex… #51

	name: Run tests

	on: [push]

	jobs:
	build:

	runs-on: ubuntu-latest
	strategy:
	matrix:
	# still test for 3.11 as this is debian 12 standard
	python: ["3.12","3.11"]

	steps:
	- uses: actions/checkout@v4
	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python }}
	- name: Install dependencies
	run: pip install -r ./hanfor/requirements-dev.txt -r ./hanfor/requirements.txt
	- name: Install pytest
	run: pip install pytest pytest-cov coverage pytest-md pytest-emoji
	- name: Set up configuration
	run: cp ./hanfor/config.dist.py ./hanfor/config.py
	- name: Install Z3
	run: pysmt-install --z3 --confirm-agreement
	- name: Run pytest
	uses: pavelzw/pytest-action@v2
	with:
	verbose: true
	emoji: true
	job-summary: true
	custom-pytest: 'cd hanfor && python3 -m pytest'
	custom-arguments: '-q'
	click-to-expand: true
	report-title: 'Test Report'

Provide feedback