Skip to content

Move runpipe test to github actions #11

Move runpipe test to github actions

Move runpipe test to github actions #11

Workflow file for this run

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
- uses: actions/checkout@v3
- name: Setup domjudge
run: |
make configure
./configure --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=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 ./
sudo ./dj_make_chroot
sudo rm -rf /chroot
sudo bats ./chroot.bats