Merge pull request #5 from Deric-W/dependabot/github_actions/actions/… #45

	name: Tests

	on: [push, workflow_dispatch]

	jobs:
	Test:
	strategy:
	matrix:
	python-version: ["3.10", "3.11"]
	os: [ubuntu-latest]

	runs-on: ${{ matrix.os }}

	steps:
	- name: Checkout Repository
	uses: actions/checkout@v4

	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}

	- name: Install test dependencies
	run: python -m pip install mypy coverage build

	- name: Build wheel
	run: python -m build

	- name: Install wheel
	run: python -m pip install --no-cache-dir dist/lambda_calculus-*.whl

	- name: Run MyPy
	run: python -m mypy -p lambda_calculus

	- name: Run tests and generate report
	run: coverage run -m unittest discover --verbose

	- name: Upload coverage
	uses: codecov/codecov-action@v3
	with:
	flags: ${{ runner.os }}
	verbose: true

	- name: Publish package
	if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags')
	uses: pypa/gh-action-pypi-publish@release/v1
	with:
	password: ${{ secrets.PYPI_API_TOKEN }}
	verbose: true
	skip_existing: true

Provide feedback