[ci] Add GitHub actions for runtime tests #8

	name: Build Docker toolchain image
	on:
	pull_request:
	paths:
	- runtime/toolchain/**
	- .github/workflows/toolchain.yaml
	push:
	branches: [ "main" ]
	paths:
	- runtime/toolchain/**
	- .github/workflows/toolchain.yaml
	workflow_dispatch:


	jobs:
	build-docker:
	runs-on: ubuntu-22.04
	steps:
	# Free up disk space on Github-hosted runner
	- name: Disk usage
	run: df -h
	- uses: jlumbroso/[email protected]
	with:
	android: true
	dotnet: true
	haskell: true
	large-packages: true

	- name: Disk usage after freeing up space
	run: df -h
	# Actually build the Docker container
	- uses: actions/checkout@v4

	- uses: docker/setup-buildx-action@v3

	- name: GHCR Log-in
	uses: docker/[email protected]
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

	- name: Build and push
	uses: docker/[email protected]
	with:
	context: ${{github.workspace}}/runtime/
	file: ${{github.workspace}}/runtime/toolchain/Dockerfile
	push: true
	tags: ghcr.io/opencompl/quidditch/toolchain:${{ github.head_ref \|\| github.ref_name }}

Provide feedback