github action?

Author: meisterT

.github/workflows/runpipe.yml

@@ -29,4 +29,7 @@ jobs:
       - 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
 

gitlab/integration.sh

@@ -143,14 +143,13 @@ if [ $PIN_JUDGEDAEMON -eq 1 ]; then
 fi
 section_end more_setup
 
-# section_start runguard_tests "Running isolated runguard tests"
+section_start runguard_tests "Running isolated runguard tests"
 sudo addgroup domjudge-run-0
 sudo usermod -g domjudge-run-0 domjudge-run-0
 cd ${DIR}/judge/runguard_test
 
-sleep 10000
-# make test
-# section_end runguard_tests
+make test
+section_end runguard_tests
 
 section_start start_judging "Start judging"
 cd /opt/domjudge/judgehost/