a bit of cleanup. #96

	name: Continuous Integration
	on:
	push:
	branches:
	- master
	paths-ignore:
	- "**.md"
	pull_request:
	paths-ignore:
	- "**.md"

	jobs:
	build:
	name: ci
	strategy:
	matrix:
	os: [ubuntu-latest]

	runs-on: ${{ matrix.os }}
	steps:
	- name: 'GitHub actions env workaround'
	run: 'echo "ACTIONS_ALLOW_UNSECURE_COMMANDS=true" >> $GITHUB_ENV'

	- uses: actions/checkout@v2

	- name: Setup Stack
	uses: haskell/actions/setup@v2
	with:
	ghc-version: '9.4.8'
	enable-stack: true
	stack-version: 'latest'

	- name: Install z3
	run: './ci/install-z3.sh'

	- name: Cache Key
	id: cache_key
	run: echo ::set-output name=key::$(md5sum stack.yaml \| awk '{print $1}')

	- name: Cache Dependencies
	id: cache
	uses: actions/cache@v2
	with:
	path: ~/.stack
	key: ${{ matrix.os }}-${{ steps.cache_key.outputs.key }}

	- name: Variables
	id: variables
	run: \|
	echo ::set-output name=pkg_name::$(cat .cabal \| grep "name:" \| sed "s/name:\s$.*$/\1/")

	- name: Build Snapshot
	if: steps.cache.outputs.cache-hit != 'true'
	run: \|
	stack --install-ghc --no-interleaved-output --no-terminal test --only-snapshot

	- run: stack --no-interleaved-output --no-terminal test

Provide feedback