Move runpipe test to github actions #26

	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: \|
	sudo apt update; sudo apt install -y make pkg-config sudo debootstrap libcgroup-dev php-cli php-curl php-json php-xml php-zip lsof procps autoconf automake bats python-sphinx python-sphinx-rtd-theme rst2pdf fontconfig python3-yaml latexmk
	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
	sudo misc-tools/dj_make_chroot \|\| cat /__w/domjudge/domjudge/chroot/domjudge/debootstrap/debootstrap.log
	- name: Run chroot content tests
	working-directory: misc-tools
	run: \|
	exit 0
	cp ../submit/assert.bash ./
	cp ../.github/jobs/chroot.bats ./
	export GITHUB_ACTION
	sudo bats ./chroot.bats

Provide feedback