From 7e5590cf8ff732a946629b6f766c7a2c9b2ac425 Mon Sep 17 00:00:00 2001 From: Darren Tucker Date: Tue, 2 Jun 2026 18:49:02 +1000 Subject: [PATCH] Replace shell-level timeout with dedicated command. It turns out the systems we run this workflow on all have timeout(1), --- .github/setup_ci.sh | 25 ++++--------------------- .github/workflows/c-cpp.yml | 4 +++- 2 files changed, 7 insertions(+), 22 deletions(-) diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh index 22f0a6668..63c61f9a0 100755 --- a/.github/setup_ci.sh +++ b/.github/setup_ci.sh @@ -2,29 +2,14 @@ config="$1" target="$2" -retry="$3" - -timeout=3600 - -fail () { trap '' 0; exit 1; } -success () { trap '' 0; exit 0; } - -if [ "${retry}" != "retry" ]; then - echo Set trap for single retry with timeout at $timeout seconds. - trap "exec $0 $1 $2 retry" HUP - (sleep $timeout; kill -HUP $$) & - trap "kill $!; sleep 120; exec $0 $1 $2 retry" 0 -else - echo "$0: retrying" -fi PACKAGES="tmux" echo Running as: id -echo Environment saved to env.txt -set >env.txt +echo Saving environment to runner-env.txt +set >runner-env.txt . .github/configs ${config} @@ -84,7 +69,7 @@ if [ ! -z "$SUDO" ]; then fi if ! "$SUDO" -u nobody -S test -x ~