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 d0b55e5 commit d8031deCopy full SHA for d8031de
.github/workflows/integration.yml
@@ -48,7 +48,7 @@ jobs:
48
run: sudo -u domjudge sh -c 'cd /opt/domjudge/judgehost/ && nohup bin/judgedaemon -n 0 &'
49
- name: Monitor judgehost log and stop once all submissions are judged
50
run: |
51
- tail -f your_log_file.log | while read line; do
+ tail -f /opt/domjudge/judgehost/output/log.judge*-0.log | while read line; do
52
echo "$line"
53
if [[ "$line" == *"No submissions in queue"* ]]; then
54
break
0 commit comments