Valu3s stability #80

	# This workflow will install Python dependencies, run tests and lint with a single version of Python
	# For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions

	name: Regression tests

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

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	- name: Set up Python 3.8
	uses: actions/setup-python@v2
	with:
	python-version: 3.8
	- name: Install dependencies
	run: \|
	sudo apt update -y
	sudo apt install -y build-essential swig libgmp-dev cmake
	python -m pip install --upgrade pip
	pip install flake8 nose pysmt sympy ply wolframclient six picos scipy control
	if [ -f requirements.txt ]; then pip install -r requirements.txt; fi
	pysmt-install --confirm-agreement --z3 --bdd
	# - name: Lint with flake8
	# run: \|
	# # stop the build if there are Python syntax errors or undefined names
	# flake8 . --count --select=E9,F63,F7,F82 --show-source --statistics
	# # exit-zero treats all errors as warnings. The GitHub editor is 127 chars wide
	# flake8 . --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics
	- name: Test with nosetests
	run: \|
	nosetests -v --eval-attr='(not msatic3) and (not mathematica) and (not sos) and (not long)'

Provide feedback