Merge pull request #60 from pyroteus/59_for_else #59

	name: Build Goalie

	on:
	# Push to main or PR
	push:
	branches:
	- main
	pull_request:

	jobs:
	build:
	name: "Build Goalie"
	# The type of runner that the job will run on
	runs-on: ubuntu-latest
	# The docker container to use.
	container:
	image: jwallwork/firedrake-parmmg:latest
	options: --user root
	steps:
	- uses: actions/checkout@v2
	- name: Cleanup
	if: ${{ always() }}
	run: \|
	cd ..
	rm -rf build
	- name: Setup python
	uses: actions/setup-python@v2
	with:
	python-version: 3.8
	- name: Install Goalie
	run: \|
	. /home/firedrake/firedrake/bin/activate
	python -m pip uninstall -y goalie
	python -m pip install -e .
	- name: Test Goalie
	run: \|
	. /home/firedrake/firedrake/bin/activate
	python $(which firedrake-clean)
	python -m coverage erase
	python -m coverage run -a --source=goalie -m pytest -v --durations=20 test
	python -m coverage run -a --source=goalie -m pytest -v --durations=10 test_adjoint
	python -m coverage report
	- name: Lint
	if: ${{ always() }}
	run: \|
	. /home/firedrake/firedrake/bin/activate
	make lint

Provide feedback