File tree Expand file tree Collapse file tree 1 file changed +29
-3
lines changed
Expand file tree Collapse file tree 1 file changed +29
-3
lines changed Original file line number Diff line number Diff line change 88 - ' [0-9]+.[0-9]+'
99
1010jobs :
11- check-static-codecov :
12- runs-on : ubuntu-latest
11+ unit-tests :
12+ runs-on : ubuntu-24.04
13+ timeout-minutes : 20
14+ container :
15+ image : domjudge/gitlabci:24.04
16+ options : --privileged --cgroupns=host --init
17+ services :
18+ sqlserver :
19+ image : mariadb
20+ ports :
21+ - 3306:3306
22+ env :
23+ MYSQL_ROOT_PASSWORD : root
24+ MYSQL_USER : domjudge
25+ MYSQL_PASSWORD : domjudge
26+ options : --health-cmd="healthcheck.sh --connect --innodb_initialized" --health-interval=10s --health-timeout=5s --health-retries=3
1327 steps :
1428 - uses : actions/checkout@v4
29+ - name : info
30+ run : |
31+ cat /proc/cmdline && echo &&
32+ cat /proc/mounts && echo &&
33+ ls -al /sys/fs/cgroup && echo &&
34+ uname -a && echo &&
35+ stat -fc %T /sys/fs/cgroup && echo &&
36+ cat /proc/self/cgroup && echo &&
37+ cat /proc/cpuinfo
38+ - name : pstree
39+ run : pstree -p
40+ - name : Install DOMjudge
41+ run : .github/jobs/baseinstall.sh all
1542 - name : Download latest codecov upload script
1643 run : wget https://codecov.io/bash -O newcodecov
1744 - name : Detect changes to manually verify
1845 run : diff newcodecov .github/jobs/uploadcodecov.sh
19-
You can’t perform that action at this time.
0 commit comments