Add readthedocs configuration file #682

	name: Tests Coverage

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]

	jobs:
	test:
	runs-on: ${{ matrix.os }}
	strategy:
	matrix:
	os: [ubuntu-latest]
	python-version: ['3.8']

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

	- name: Python info
	run: python --version

	- name: Install dependencies
	run: \|
	pip install --upgrade pip
	pip install -r requirements.txt
	pip list
	pip install -e .

	- name: Check format with black
	run: \|
	black --version
	black --diff smt
	black --check smt

	- name: Test with pytest and coverage
	run: \|
	pip install coverage
	RUN_SLOW=1 coverage run --source=smt -m pytest

	- name: Coveralls
	uses: AndreMiras/coveralls-python-action@develop
	with:
	parallel: true
	flag-name: Test

	coveralls_finish:
	needs: test
	runs-on: ubuntu-latest
	steps:
	- name: Coveralls Finished
	uses: AndreMiras/coveralls-python-action@develop
	with:
	parallel-finished: true

Provide feedback