diff --git a/.github/workflows/release-phar.yml b/.github/workflows/release-phar.yml index 2650b9c..af8dc06 100644 --- a/.github/workflows/release-phar.yml +++ b/.github/workflows/release-phar.yml @@ -65,8 +65,14 @@ jobs: # non-zero status before reaching the read loop, failing the job. # `timeout` returning 124 (server stayed up the full window) is also # treated as a healthy boot. + # + # Capture the exit code with `|| status=$?`: GitHub runs steps under + # `bash -eo pipefail`, so a bare `timeout ...; status=$?` would abort + # the step the moment `timeout` exits 124 (errexit), never reaching + # the guard below. The `||` exempts it from errexit and records the code. run: | - timeout 10s php var/xphp-lsp.phar