fix

.github/workflows/integration.yml

@@ -46,5 +46,11 @@ jobs:
         run: sudo userdel -f -r domjudge-run-0 ; sudo useradd -d /nonexistent -g nogroup -s /bin/false -u 2222 domjudge-run-0
       - name: Start judging
         run: sudo -u domjudge sh -c 'cd /opt/domjudge/judgehost/ && nohup bin/judgedaemon -n 0 &'
-      - name: Sleep 5s
-        run: sleep 5
+      - name: Monitor judgehost log and stop once all submissions are judged
+        run: |
+          tail -f your_log_file.log | while read line; do
+            echo "$line"
+            if [[ "$line" == *"No submissions in queue"* ]]; then
+              break
+            fi
+          done