Keep producing logs even if make hangs
@@ -6,7 +6,6 @@ jobs:
gnu:
name: Run GNU tests
runs-on: ubuntu-latest
- timeout-minutes: 240 # Kill after 4 hours in case something gets stuck
steps:
# Checks out a copy of your repository on the ubuntu-latest machine
- name: Checkout code uutil
@@ -86,7 +85,7 @@ jobs:
GNULIB_DIR="${PWD}/gnulib"
pushd gnu
- unbuffer make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=yes RUN_VERY_EXPENSIVE_TESTS=yes VERBOSE=no || :
+ unbuffer timeout -sKILL 4h make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=yes RUN_VERY_EXPENSIVE_TESTS=yes VERBOSE=no || : # Kill after 4 hours in case something gets stuck in make
- name: Extract tests info
shell: bash
run: |
