Merge pull request #28 from 469512345/master #243

	# This is a basic workflow to help you get started with Actions

	name: CI

	# Controls when the action will run.
	on:
	# Triggers the workflow on push or pull request events but only for the master branch
	push:
	branches:
	- "**"
	pull_request:
	branches: [ master ]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v2

	- name: Install Packages
	run: \|
	sudo apt update && sudo apt install parallel

	# Install Conjure
	- name: Build Conjure
	run: \|
	git clone https://github.com/conjure-cp/conjure --single-branch
	cd conjure
	git checkout 45b679f183bdf31565b
	make
	make install
	etc/build/install-minion.sh

	# Install Python Packages
	- name: Install Python Packages
	run: \|
	pip3 install python-sat z3-solver numpy sortedcontainers
	# Run unit tests
	- name: Run Unit tests
	run: \|
	python -m unittest
	# Run tests
	- name: Run tests
	run: \|
	cd eprime-tests && ./run-all.sh

	- name: Show test failures (if any)
	run: \|
	git diff

Provide feedback