forked from DOMjudge/domjudge
-
Notifications
You must be signed in to change notification settings - Fork 0
43 lines (41 loc) · 1.44 KB
/
runpipe.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
name: Run runpipe and runguard tests
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:
runpipe:
runs-on: ubuntu-24.04
container:
image: domjudge/gitlabci:24.04
options: --privileged --cgroupns=host --init
steps:
- uses: actions/checkout@v4
- name: info
run: cat /proc/cmdline && echo && cat /proc/mounts && echo && ls -al /sys/fs/cgroup && echo && uname -a && echo && stat -fc %T /sys/fs/cgroup && echo && cat /proc/self/cgroup
- name: Create the configure file
run: make configure
- name: Do the default configure
run: ./configure --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=domjudge --with-judgehost_chrootdir=${DIR}/chroot/domjudge
- name: Prepare judgehost files
run: make judgehost
- name: Run the actual runpipe tests
working-directory: judge/runpipe_test
run: make test
- name: Add user/group
run: sudo addgroup domjudge-run-0 && sudo usermod -g domjudge-run-0 domjudge-run-0
- name: Create dir
run: mkdir -p /opt/domjudge/judgehost/tmp/
- name: Run the actual runguard tests
working-directory: judge/runguard_test
env:
judgehost_tmpdir: /tmp
judgehost_judgedir: /tmp
run: make test