Include for cint #127

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

	name: CI

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

	# 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:
	strategy:
	matrix:
	os: [ubuntu-latest, macos-latest]
	name: [ production ]

	name: ${{ matrix.os }}:${{ matrix.name }}
	# The type of runner that the job will run on
	runs-on: ${{ matrix.os }}


	# 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
	if: runner.os == 'Linux'
	run: \|
	sudo apt-get update
	sudo apt-get install -y \
	flex \
	libfl-dev \
	flexc++ \
	libgmp-dev
	- name: Install Packages (MacOS)
	if: runner.os == 'macOS'
	run: \|
	brew install \
	gmp \
	flex
	- name: Setup Build Dir
	run: mkdir build
	- name: Configure
	run: cmake ..
	working-directory: build
	- name: Build
	run: make -j2
	working-directory: build
	- name: Test
	run: ctest --output-on-failure
	working-directory: build

Provide feedback