We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6061737 commit d0b55e5Copy full SHA for d0b55e5
.github/workflows/integration.yml
@@ -46,5 +46,11 @@ jobs:
46
run: sudo userdel -f -r domjudge-run-0 ; sudo useradd -d /nonexistent -g nogroup -s /bin/false -u 2222 domjudge-run-0
47
- name: Start judging
48
run: sudo -u domjudge sh -c 'cd /opt/domjudge/judgehost/ && nohup bin/judgedaemon -n 0 &'
49
- - name: Sleep 5s
50
- run: sleep 5
+ - name: Monitor judgehost log and stop once all submissions are judged
+ run: |
51
+ tail -f your_log_file.log | while read line; do
52
+ echo "$line"
53
+ if [[ "$line" == *"No submissions in queue"* ]]; then
54
+ break
55
+ fi
56
+ done
0 commit comments