Main

Fix for largest contribution and all Unsat Core #436

	name: Main

	on:
	push:
	branches:
	- main
	pull_request:

	jobs:
	quality:
	runs-on: ubuntu-latest
	steps:
	- name: Check out
	uses: actions/checkout@v3

	- uses: actions/cache@v3
	with:
	path: ~/.cache/pre-commit
	key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}

	- name: Set up the environment
	uses: ./.github/actions/setup-poetry-env

	- name: Run checks
	run: make check

	#For smtcomp data cache (TODO unduplicate from deploy-website)
	- uses: actions/cache@v3
	id: data-cache
	with:
	path: data/*.feather
	key: data-cache-${{ hashFiles('data/*.json.gz') }}
	- name: Cache generation if needed
	if: steps.data-cache.outputs.cache-hit != 'true'
	run: \|
	poetry run make cache

	- name: Run test
	run: make test

	tox:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: ["3.11"]
	fail-fast: false
	steps:
	- name: Check out
	uses: actions/checkout@v3

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

	- name: Install Poetry
	uses: snok/install-poetry@v1

	- name: Load cached venv
	uses: actions/cache@v3
	with:
	path: .tox
	key: venv-${{ runner.os }}-${{ matrix.python-version }}-${{ hashFiles('poetry.lock') }}

	- name: Install tox
	run: \|
	python -m pip install --upgrade pip
	python -m pip install tox tox-gh-actions

	- name: Test with tox
	run: tox

	- name: Upload coverage reports to Codecov with GitHub Action on Python 3.11
	uses: codecov/codecov-action@v3
	if: ${{ matrix.python-version == '3.11' }}

Provide feedback