Move runpipe test to github actions #22

	name: Check chroot creation
	on:
	push:
	branches-ignore:
	- main
	- '[0-9]+.[0-9]+'
	- gh-readonly-queue/main/*
	- gh-readonly-queue/main/[0-9]+.[0-9]+
	pull_request:
	branches:
	- main
	- '[0-9]+.[0-9]+'

	jobs:
	chroot-arch:
	container:
	image: domjudge/gitlabci:2.1
	strategy:
	matrix:
	arch: [amd64, arm64, armhf, i386, default_value]
	include:
	- skip: true
	runs-on: ubuntu-latest
	steps:
	- name: Show the info about the runner
	run: \|
	lsb_release -a
	mount
	pwd
	printenv
	- uses: actions/checkout@v3
	- name: Setup domjudge
	run: \|
	make configure
	./configure --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=domjudge --with-judgehost_chrootdir="/__w/domjudge/domjudge/chroot/domjudge"
	make judgehost
	sudo make install-judgehost
	- name: Run chroot content tests
	working-directory: misc-tools
	run: \|
	cp ../submit/assert.bash ./
	cp ../.github/jobs/chroot.bats ./
	export GITHUB_ACTION
	sudo bats ./chroot.bats

Provide feedback