Main

Benchmark selection #26

	name: Main

	on:
	push:
	branches:
	- main
	pull_request:
	types: [opened, synchronize, reopened]

	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: Compute changed files
	id: changed-files
	uses: tj-actions/changed-files@v40
	with:
	files: \|
	submissions/*.json

	- name: Show changed files
	run: \|
	for file in ${{ steps.changed-files.outputs.all_changed_files }}; do
	poetry run smtcomp show $file
	done

	- name: Run checks
	run: make check

	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