ci: set a timeout for each mkosi stage

Work around #24202 so we don't wait ~6 hours for a stuck QEMU job.

diff --git a/.github/workflows/run_mkosi.sh b/.github/workflows/run_mkosi.sh
index 153ebe3d3791fab1a5f14aa295bdc0f9441fcbbf..acdb3fcee1cdf59e6565f2852f2fa2731ea4b79b 100755 (executable)
--- a/.github/workflows/run_mkosi.sh
+++ b/.github/workflows/run_mkosi.sh
@@ -20,7 +20,7 @@ ln -s /dev/null "$TEMP_EXTRA_TREE/etc/systemd/system/isc-dhcp-server6.service"
 
 for ((i = 0; i < 5; i++)); do
     EC=0
-    (sudo python3 -m mkosi --extra-tree="$TEMP_EXTRA_TREE" "$@") |& tee "$TEMPFILE" || EC=$?
+    (sudo timeout -k 30 10m python3 -m mkosi --extra-tree="$TEMP_EXTRA_TREE" "$@") |& tee "$TEMPFILE" || EC=$?
     if [[ $EC -eq 0 ]]; then
         # The command passed — let's return immediately
         break