debug pipeline

serlo · Dec 13, 2024 · 100c269 · 100c269
1 parent a51dd7b
commit 100c269
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/scripts/wait_for_server.sh b/scripts/wait_for_server.sh
@@ -1,4 +1,7 @@
 if ! timeout 120 bash -c 'until tail -f output.log | grep -m 1 "Registered platform:"; do sleep 1; done'; then
+    echo "catting output.log"
+    cat output.log
+
     echo "Error: Server is not working correctly." >&2
     exit 1
 fi