Kill make on timeout so it can't delete the running log
@@ -76,7 +76,7 @@ jobs:
GNULIB_DIR="${PWD}/gnulib"
pushd gnu
- unbuffer timeout 3600 make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=yes RUN_VERY_EXPENSIVE_TESTS=yes VERBOSE=no || :
+ unbuffer timeout -sKILL 3600 make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=yes RUN_VERY_EXPENSIVE_TESTS=yes VERBOSE=no || :
- uses: actions/upload-artifact@v2
with:
name: test-report
