This repository has been archived by the owner on Oct 30, 2023. It is now read-only.

Assertion model and extraction of assertion details #179

	name: CI
	on:
	push:
	branches: [ main ]
	pull_request:
	workflow_dispatch:

	jobs:
	pre-commit-check:
	runs-on: ubuntu-latest
	name: "Run the pre-commit hooks"
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-python@v2
	with:
	python-version: 3.11
	- uses: pre-commit/[email protected]

	test:
	runs-on: ubuntu-latest
	name: test (Python ${{ matrix.python-version }})
	strategy:
	matrix:
	python-version: ["3.11"]
	steps:
	- uses: actions/checkout@v3
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: "${{ matrix.python-version }}"
	- name: Install tox
	run: \|
	python -m pip install --upgrade pip
	python -m pip install tox tox-gh-actions
	- name: Run tests
	working-directory: ./src
	run: tox
	- name: Upload coverage to Codecov
	uses: codecov/codecov-action@v3
	with:
	token: ${{ secrets.CODECOV_TOKEN }}
	fail_ci_if_error: true

Provide feedback