Nystrom #522

	name: CI

	on:
	push:
	branches:
	- master
	pull_request:

	concurrency:
	# Cancels jobs running if new commits are pushed
	group: >
	${{ github.workflow }}-
	${{ github.event.pull_request.number \|\| github.ref }}
	cancel-in-progress: true

	jobs:
	test:
	runs-on: [self-hosted, Linux]
	container:
	image: firedrakeproject/firedrake-vanilla-default:latest
	steps:
	- name: Fix HOME
	# For unknown reasons GitHub actions overwrite HOME to /github/home
	# which will break everything unless fixed
	# (https://github.com/actions/runner/issues/863)
	run: echo "HOME=/home/firedrake" >> "$GITHUB_ENV"

	- name: Pre-cleanup
	run: \|
	: # Wipe everything away in the current directory
	find . -delete
	firedrake-clean

	- uses: actions/checkout@v4
	with:
	# Download Irksome into a subdirectory not called 'irksome' to make sure
	# that the package installs correctly. Otherwise 'import irksome' may
	# work even if the installation failed because it is a subdirectory.
	path: irksome-repo

	- name: Create virtual environment
	# pass '--system-site-packages' so Firedrake can be found
	run: python3 -m venv --system-site-packages venv-irksome

	- name: Install Irksome
	run: \|
	. venv-irksome/bin/activate
	pip install './irksome-repo[ci]'
	pip list

	- name: Run tests
	run: \|
	. venv-irksome/bin/activate
	make -C irksome-repo test THREADS=12

	- name: Post-cleanup
	if: always()
	run: \|
	find . -delete
	firedrake-clean

Provide feedback