diff options
| -rwxr-xr-x | .github/actions/compilers/entrypoint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/actions/compilers/entrypoint.sh b/.github/actions/compilers/entrypoint.sh index ad9fa87a11..f39a8a066e 100755 --- a/.github/actions/compilers/entrypoint.sh +++ b/.github/actions/compilers/entrypoint.sh @@ -143,7 +143,7 @@ if [ "$LAUNCHABLE_ENABLED" = "true" ]; then btest_session_file='launchable_btest_session.txt' test_spec_session_file='launchable_test_spec_session.txt' setup_pid=$$ - (sleep 180; echo "setup_launchable timed out; killing"; kill -INT "$setup_pid" 2> /dev/null) & sleep_pid=$! + (sleep 180; echo "setup_launchable timed out; killing"; kill -INT "-$setup_pid" 2> /dev/null) & sleep_pid=$! launchable_failed=false trap "launchable_failed=true" INT setup_launchable |