From d0b55e58f5170ec9d58e039b4431cccf9ebad018 Mon Sep 17 00:00:00 2001
From: Tobias Werth <werth@cs.fau.de>
Date: Sun, 25 Aug 2024 14:57:08 +0200
Subject: [PATCH] fix

---
 .github/workflows/integration.yml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
index 31f61b1fa4..db831ea859 100644
--- a/.github/workflows/integration.yml
+++ b/.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