Add timing and coverage metrics #498

	name: Build Gusto

	on:
	# Push to main or PR
	push:
	branches:
	- main
	pull_request:
	schedule:
	# * is a special character in YAML so you have to quote this string
	# Scheduled build at 0330 UTC on Monday mornings to detect bitrot.
	- cron: '30 3 * * 1'

	jobs:
	build:
	name: "Build Gusto"
	# The type of runner that the job will run on
	runs-on: self-hosted
	# The docker container to use.
	container:
	image: firedrakeproject/firedrake-vanilla:latest
	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 Gusto
	run: \|
	. /home/firedrake/firedrake/bin/activate
	python -m pip install -r requirements.txt
	python -m pip install -e .
	python -m pip install \
	pytest-cov pytest-timeout pytest-xdist
	- name: Gusto unit-tests
	run: \|
	. /home/firedrake/firedrake/bin/activate
	which firedrake-clean
	python -m pytest \
	-n 12 --dist worksteal \
	--durations=50 \
	--cov gusto \
	-v unit-tests
	- name: Gusto integration-tests
	run: \|
	. /home/firedrake/firedrake/bin/activate
	firedrake-clean
	python -m pytest \
	-n 12 --dist worksteal \
	--durations=50 \
	--cov gusto \
	-v integration-tests
	- name: Gusto examples
	run: \|
	. /home/firedrake/firedrake/bin/activate
	firedrake-clean \
	-n 12 --dist worksteal \
	--durations=15 \
	--cov gusto \
	-v examples

Provide feedback