Kill make on timeout so it can't delete the running log

This commit is contained in:
James Robson 2021-02-04 18:08:00 +00:00
parent 96219692a4
commit 4573ce44e1

View file

@ -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