Add script to copy and process benchmark figures #71

	name: CI

	on:
	push:

	permissions:
	contents: read
	packages: read

	# In the event that there is a new push to the ref, cancel any running jobs because there are now obsolete, and wasting
	# resources.
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	build:
	name: Build
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- uses: rui314/setup-mold@0bf4f07ef9048ec62a45f9dbf2f098afa49695f0

	- name: Build
	run: make build

	lint:
	name: Lint
	runs-on: ubuntu-latest
	needs: build
	steps:
	- uses: actions/checkout@v4

	- uses: rui314/setup-mold@0bf4f07ef9048ec62a45f9dbf2f098afa49695f0

	- name: Check formatting and clippy
	run: make lint

	test:
	name: Test
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- uses: rui314/setup-mold@0bf4f07ef9048ec62a45f9dbf2f098afa49695f0

	- name: Run unit tests
	run: make test

Provide feedback