forked from DOMjudge/domjudge
-
Notifications
You must be signed in to change notification settings - Fork 0
33 lines (31 loc) · 928 Bytes
/
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
name: Run runpipe 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-latest
container:
image: domjudge/gitlabci:2.1
steps:
- uses: actions/checkout@v3
- 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: Run the actual runguard tests
working-directory: judge/runguard_test
run: make test